Funktor

Funktor ima n-mestnost in se zapiše kot:

predikat/n

Vgrajena procedura functor

functor(Izraz,Funktor,Mestnost)

?- functor(a,F,M).
F = a
M = 0
yes

?- functor(otrok(tine,tone),F,M).
F = otrok
M = 2
yes

?- functor(P,otrok,2).
P = otrok(_,_)
yes

?- functor(P,lepo,0).
P = lepo
yes