Nächste Seite: Syntax Aufwärts: Logisches Programmieren Vorherige Seite: Einleitung
einfacher Prolog-Interpreter in Haskell, benutzt:
Maybe-Monade (bei Unifikation)
[]-Monade (Nichtdeterminismus bei Klausel-Auswahl)
StateT-Monaden-Transformator
Parser-Monade