ERIC Number: ED392426
Record Type: RIE
Publication Date: 1995
Reference Count: N/A
A Logic Programming Testbed for Inductive Thought and Specification.
Neff, Norman D.
This paper describes applications of logic programming technology to the teaching of the inductive method in computer science and mathematics. It discusses the nature of inductive thought and its place in those fields of inquiry, arguing that a complete logic programming system for supporting inductive inference is not only feasible but necessary. A sample dialog from the Prologb system is included, along with an overview of the Prologb language and some details about classroom experiences using the system. (Author/BEW)
Publication Type: Reports - Descriptive; Speeches/Meeting Papers
Education Level: N/A
Authoring Institution: N/A
Identifiers: Inferential Comprehension
Note: In: "Emerging Technologies, Lifelong Learning, NECC '95"; see IR 017 705.