The Logic Programming Tutor (Hardcover)

Jocelyn Paine

ISBN 10: 0792314484 / ISBN 13: 9780792314486

Editore: Kluwer Academic Publishers, Dordrecht, 1992

Riguardo questo articolo

Hardcover. The Logic Programming Tutor (LPT) assumes no prior knowledge or experience of Prolog. The book is designed as a teaching tool to be used in conjunction with a computer program of the same name which is offered free of charge on disk.The LPT is essentially friendly front-end that can accept either Prolog or an English-like notation, and translate between one and the other. There is a built-in editor which can display sections from one of several "scripts" written by an instructor; these guide the student in learning Prolog by experimentation. The texts is divided into two parts. Part 1 describes in detail how the Tutor works, and finishes with a complete listing of the source code. Because the Tutor's editor and the script handler are independent of the programming language it accepts, it should be of interest not only to teachers of Prolog, but also to those teaching other logic-based languages built on it - for example frame-based or object-oriented languages. Part 2 of the book contains the scripts and supplementary exercises used with the LPT at Oxford University.Each script is accompanied by notes to the teacher, giving answers to exercises, and indication problems and misconceptions that students have experienced. Because the Tutor's editor and the script handler are independent of the programming language it accepts, it will be of interest not only to teachers of Prolog, but also to those teaching other logic-based languages built on it -- for example, frame-based or object-oriented languages. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

Codice articolo 9780792314486

Dati bibliografici

• Titolo: The Logic Programming Tutor (Hardcover)
• Editore: Kluwer Academic Publishers, Dordrecht
• Data di pubblicazione: 1992
• Lingua: Inglese
• ISBN 10: 0792314484
• ISBN 13: 9780792314486
• Rilegatura: Hardcover
• Condizione: new

Descrizione articolo

Riassunto

The Logic Programming Tutor (LPT) assumes no prior knowledge or experience of Prolog. The book is designed as a teaching tool to be used in conjunction with a computer program of the same name which is offered free of charge on disk. The LPT is essentially a user friendly front-end that can accept either Prolog or an English-like notation, and translate between one and the other. There is a built-in editor which can display sections from one of several `scripts' written by an instructor; these guide the student in learning Prolog by experimentation.
The book is divided into two parts. Part I describes in detail how the Tutor works, and finishes with a complete listing of the source code. Because the Tutor's editor and the script handler are independent of the programming language it accepts, it will be of interest not only to teachers of Prolog, but also to those teaching other logic-based languages built on it -- for example, frame-based or object-oriented languages. Part II contains the scripts and supplementary exercises used with the LPT at Oxford University. Each script is accompanied by notes to the teacher, giving answers to exercises, and indicating problems and misconceptions that students have experienced.

Contenuti

1. Introduction. 2. Using the Logic Programming Tutor. 3. Formal Description of the Logic Programming Tutor. 4. Implementation. 5. Lesson 1. 6. Lesson 2. 7. Lesson 3. 8. Lesson 4. 9. Lesson 5. 10. Lesson 6. 11. Knowledge Bases Used in the Lessons. References. Index.