Funktoren in Prolog
- Terme, die aus Termen bestehen
- beliebig tiefe Schachtelung möglich
persondata(peter, age(41),
address('Spooner Street', '31', 'Quahog')).
- Funktoren sind keine Funktionen. Es findet keine Auswertung statt
printPlus1(X) :- write(X + 1).
?- printPlus1(10).
10+1
true.
- Namen von Funktionen können keine Variablen sein