Hallo zusammen,
Ich schreib nächste woche eine Klausur in Logik Programmierung und das Thema Differenzlisten kann ich irgendwie nicht nachvollziehen.
Am Besten Ich schreib dieses Beispiel:
q(X) :- p(X - []).
p(X - X).
p([X|Y] - Z) :- p(Y - [X|Z]).
mit der Anfrage ?-q(t)
Liefert mir den Set aller Grundterme {t_1,...,t_n,t_n,...,t_1} mit n>= O } Kann mir einer Bitte erklären wie man auf diesen Set kommt ???
THX