Zusatzmodule für SWI-Prolog

Aus Informatik
Wechseln zu: Navigation, Suche

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.