NotesFAQContact Us
Search Tips
ERIC Number: ED392426
Record Type: Non-Journal
Publication Date: 1995
Pages: 5
Abstractor: N/A
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
Audience: N/A
Language: English
Sponsor: N/A
Authoring Institution: N/A