Beschreibung
Inhaltsangabe1. 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.
Inhaltsverzeichnis
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.