Nützliche SWI-Prolog-Prädikate

trace/0: mit trace wechselt man in den Trace-Modus.
nodebug/0: wechselt zurück in den Normalmodus.
consult/1: konsultieren einer Wissensbasis (alternativ Name der Wissensbasis in []).
make/0 : rekonsultiert alle konsultierten Wissensbasen, die sich geändert haben.
halt/0: schließt Prolog-Interpreter.
listing/1: gibt alle Klauseln eines Prädikats aus.
var/1: testet ob etwas eine Variable ist.
atomic/1: testet ob etwas atomar (Atom oder Zahl) ist.
V/0: testet mal die Anfrage mit einer Variablen V. Und kennt ihr die Antwort?