Die unterschiedlichen Datenstrukturen von Prolog wie zum Beispiel Atom, Liste, arithmetischer Term, Fakt, Regel, zusammengesetzter Term werden intern als Baumstruktur verwaltet. Lediglich für die Ausgabe werden unterschiedliche Formate benutzt. Eine Übersicht finden Sie in Kapitel 15 von Informatik mit Prolog.

Für grundsätzliche Kenntnisse und Einsichten in die Datenstrukturen von Prolog ist es didaktisch sinnvoll, sich jeweils die grafische Repräsentierung anzeigen zu lassen.

Der folgende Terminterpreter stellt beliebige Prolog-Terme grafisch als Baumstruktur.

Eine Anwendung des Terminterpreters erfolgt beim Interpretieren von Mini-Logo und von Mini-Pascal.

Benutzungshinweise

Laden Sie sich den Terminterpreter (Version 1.7, vom 04.09.2013) herunter und speichern Sie die Datei zeichneterm.pl in das Unterverzeichnis library ihres Swing-Prolog-Systems. Stellen Sie dann im SWI-Prolog-Fenster die Anfrage ?- make. um das neue Modul in das System einzubinden.

Der Terminterpreter stellt die beiden Prädikate zeichne_term/0 für die interaktive Nutzung, sowie zeichne_term/1 für die Darstellung des übergebenen Terms zur Verfügung.

Zur Optimierung der Darstellung können Sie einzelne Knoten des Baumes verschieben. Durch Doppelklick auf einen verschobenen Knoten werden alle Unter-Knoten neu angeordnet.