Dodajanje elementov seznamu v prologu

dodaj(X,S,S1) :- S1 = [X|S]. %doda se na začetek seznama tako, da se glavo zamenja z X

X

element, ki ga dodajamo

S

seznam kateremu dodajamo

S1

novi seznam

vzemi(S,Glava,Rep) :- S = [Glava|Rep].

dodaj(X,S,[X|S]).

vzemi([Glava|Rep],Glava,Rep).

1. Seznam je lahko prazen: []
2. Seznam ima lahko Glavo, ki je izraz, in Rep, ki je seznam: [Glava|Rep]