Zusatzmodule für SWI-Prolog
Spuren
Die von Prolog angebotenen Trace-Protokolle sind in der Regel viel zu detailliert und werden bei der Darstellung von Rekursionen schnell unübersichtlich. Abhilfe schafft ein Metainterpreter, welcher in Form eines spur-Prädikats aufgerufen werden kann. Um mit diesem Prädikat zu arbeiten entpackt man die Datei (Datei:Spur.zip) und kopiert die Datei spur.pl in das SWI-Unterverzeichnis library. Danach muss im SWI-Prolog-Fenster der Befehl make. aufgerufen werden, der die neue Datei einbindet.
Das spur-Prädikat wird dann wie jede andere Anfrage auch aufgerufen. Als Argument des Prädikats wird die eigentliche (darzustellende) Anfrage angegeben.
Beispiel: ?- spur(member[3,[[1,2],2,4,3,a,'Vater']).
Grafischer Terminterpreter
Auf dem Bildungsserver wird ein grafischer Terminterpreter angeboten. Mit diesem können Prolog-Terme sehr übersichtlich als Bäume dargestellt werden. Um diesen Interpreter nutzen zu können entpackt man [2] und kopiert die Datei zeichneterm.pl in das SWI-Unterverzeichnis library. Danach muss im SWI-Prolog-Fenster der Befehl make. aufgerufen werden, der die neue Datei einbindet.
Durch den Aufruf von
zeichneterm.
wird ein XPCE-Grafiksystem initialisiert und ein Fenster für die Termdarstellung aufgebaut. In diesem Fenster können über eine Eingabezeile beliebige Terme dargestellt werden.