Iskanje po seznamu v prologu

Iskanje elementa v seznamu:

element(X,[X|_]).       %element je v glavi seznama
element(X,[_|Rep]) :-   %sicer ga išči v repu
  element(X,Rep).

Primeri iskanja

Je c v seznamu?

?- element(c,[a,b,c,d]).
yes

Je s v seznamu?

?- element(s,[a,b,c,d]).
no

Kateri so elementi seznama?

?- element(X,[a,b,c,d]).
X = a;
X = b;
X = c;
X = d;
no

Generiraj sezname, ki imajo v sebi a.

?-element(a,S).
S = [a|_];
S = [_,a|_];
S = [_,_,a|_];
S = [_,_,_,a|_];
.
.