Appunti di Prolog
Da VitaUniversiWiki.
Indice |
Motori prolog
Predicati più utilizzati
Metainterpreti
Predicati
I predicati utili per l'implementazione di metainterpreti sono:
- atomic(+Term): vale true se Term è un atomo
- bagof(+Template, :Goal, -Bag):
- compound:(+Term):
- clause(:Head, ?Body):
- functor(?Term, ?Functor, ?Arity):
- setof(+Template, +Goal, -Set):
