PLIN027 Překlenovací seminář III Cvičení z Prologu
x(A,[A|T],T).
x(A,[H|T1],[H|T2]) :- x(A,T1,T2).
y([],L,L).
y([H|T1],L2,[H|T]) :- y(T1,L2,T).
z(M, [A,B|T], L) :- x(B, [A,B|T], K), y(K, L, M).
?- z([a, b, c, d], [a, f, b], L).
Co je prvním výsledkem volání na řádku výše?
1
PLIN027 Překlenovací seminář III Cvičení z Prologu
L=[c, d]
Predikát x je predikát del1 z přednášky, y je append.
2