next up previous contents
Next: arg/3 Up: Powerful Features ---Splitting Previous: clause/2


?- functor(fact(male(fred),23),F,N).


N = 2

The predicate functor/3 can be used to find the principal functor of a compound term together with its arity. It can also be used to generate structures:
?- functor(X,example,2).

X = example(A,B)

except that the variables will be shown differently.

Paul Brna
Mon May 24 20:14:48 BST 1999