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

5.3 Implementierung logischer Programmiersprachen: Prolog
merge([],YS,YS).
merge(XS,[],XS).
merge([X|XS], [Y|YS], [X|ZS]) :- merge(XS,[Y|YS],ZS), X =< Y.
merge([X|XS], [Y|YS], [Y|ZS]) :- merge([X|XS],YS,ZS), X > Y.
Beispiele:
?- merge([1,10,100],[0,5,50,500],Z).
Z = [0, 1, 5, 10, 50, 100, 500].
?- merge(X,Y,[1,2,3]).
X = [],
Y = [1, 2, 3] ;
X = [1, 2, 3],
Y = [] ;
X = [1],
Y = [2, 3] ;
X = [1, 2],
Y = [3] ;
X = [1, 3],
Y = [2] ;
X = [2, 3],
Y = [1] ;
X = [2],
Y = [1, 3] ;
X = [3],
Y = [1, 2] ;
false.
Den letzten Aufruf kann man gerade so auffassen: Berechne alle Listen, die nach dem Mischen
[1,2,3] ergeben.
Beispiel 5.3.6. Einige weitere Beispiele für Listenfunktionen
M. Schmidt-Schauß & D. Sabel, Skript KI, WS 2012/13 173 Stand: 7. Januar 2013