Logische Programmierung (Bsp.)

Programm (Fakten und Regeln)
app([], YS, YS).
app([X|XS], YS, [X|ZS]) :- app(XS, YS, ZS).

(laden mit swipl -s app.pl)

Anfrage (Formel mit freien Variablen)

app(XS,YS,[1,2]).
Antworten (Belegungen)
XS = [] , YS = [1,2];
XS = [1], YS = [2];
XS = [1,2], YS = [];

Progr.-Spr. Prolog: Alain Colmerauer, 1972



Johannes Waldmann 2014-03-31