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