Systeme

• SQL-Tutor (Univ. of Canterbury, NZ)

• PLOT (Osnabrück)
• VC-Prolog-Tutor (Osnabrück)

• ELM-ART, ELM-PE

• Mathematics Tutoring System Free Download
• An intelligent tutoring system for physics
• SlideTutor - An Intelligent Pathology Training System

• Jun Hong
• Dr. Scheme

• W-Prolog is an interpreter for a Prolog like language implemented in Java.

Diagnose

• Bug-Katologe
• Ähnlichkeitsvergleich
• Constraint-basierte Diagnose
• SemantischeAnalyse (Vanneste) Versley
• Fehlerklassifikation mit Beschreibungslogiken

empirische Fehleranalyse

• Prolog
• Scheme

Interaktives Editieren über das WWW

Visualisierung algorithm. Abläufe

Materialsammlungen

• TU Braunschweig

Material zu Prolog

• Learn Prolog Now!

• Free Online Prolog Tutorials, Logic Programming Tutorials