Konstruktor

Konstruktor v prologu iz seznama na desni strani tvori strukturo.

?- X =.. [glava,el1,el2,...,eln].
X = glava(el1,el2,...,eln)

?- funktor(arg1,arg2,...,argn) =..
X = [funktor,arg1,arg2,...,argn]

Primeri

?- Y =.. [f,X].
Y = f(X)
yes

?- X =.. [oce,tine,bine]
X = oce(tine,bine)
yes

?- X =.. [a].
X = a
yes

?- med(a,b,c,) =.. X
X = [med,a,b,c]
yes

?- X =.. [naslov,kajuhova,5],Y =.. [oseba,tone,bizelj,X].
X = naslov(kajuhova,5)
Y = oseba(tone,bizelj,naslov(kajouhova,5))
yes