A Logic Programming Testbed for Inductive Thought and Specification.
Norman Neff · 1995
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) *********************************************************************** Reproductions supplied by EDRS are the best that can be made from the original document. *********************************************************************** U S DEPARTMENT OF EDUCATION O.' cf. 5 FCCC,riervC Researct, ane irrryovenv,i EDUCATIONAL RESOURCES INFORM., rION CENTER (ERIC) O This document has been reproduced as received from the person or organization onginating it O Minor changes have been made to tillpf Me reproduction quality Points of view or opinions stated in this document do not neessarity represent official OERI position or policy A Logic Programming Testbed for Inductive Thought and Specification