Einführung in die Methoden der Künstlichen Intelligenz - Goethe ...

5 Logisches Programmieren
usw. Man sieht: das terminiert nicht.
Das kann man in Prolog auch testen (da eine Tiefensuche verwendet wird). Wir verwenden
zwei Varianten: member wie oben angegeben und member2, für die die beiden
Programmklauseln vertauscht sind:
?- member2(X,[1,2,3]).
X = 3 ;
X = 2 ;
X = 1.
?- member(X,[1,2,3]).
X = 1 ;
X = 2 ;
X = 3.
?- member(Y,Y).
Y = [**|_G460]
?- member2(Y,Y).
^C... terminiert nicht
Ein weiteres Prädikat ist islist, das versucht die Liste komplett auszuwerten. Ein Möglichkeit
wäre die Definition:
islist([_|X]) :- islist(X).
islist([]).
Diese Definition terminiert es für Listen ohne Variablen, aber nicht für islist(X).
Stellt man die Klauseln um, erhält man:
islist([]).
islist([_|X]) :- islist(X).
Dieses Programm terminiert für die Anfrage islist(X).
Als nächsten Beispiel programmieren wir die Berechnung der Länge einer Liste, d.h.
die Anzahl der Elemente die diese enthält. Beachte: Wir verwenden is, um die rekursive
erhaltene Länge auszuwerten (vgl. Abschnitt zu arithmetischen Operationen).
laenge([],0).
laenge([_|X],N) :- laenge(X,N_1), N is N_1 + 1.
Damit kann man folgende Beispiele rechnen:
Stand: 7. Januar 2013 170 M. Schmidt-Schauß & D. Sabel, Skript KI, WS 2012/13