Logic Programs as a Specification and Description Tool in the Design Process of an Intelligent Tutoring System
Claus Möbus · Carl von Ossiezky University of Oldenburg · 1987
We propose the use of logic programs when designing intelligent tutoring systems. With their help we specified the small-step semantics of the learning curriculum, designed the graphical user interface, derived instructions and modelled students' knowledge.