Programy jsou ze 2 častí:
Hornovy klauzule sa vyskytují ve 2 variantách:
ditetem(andulka, jan)
.vnukem(X,Y) :- ditetem(X,Z), ditetem(Z,Y)
.Struktura
Robinsonův unifikační algoritmus
X = f(X)
, což můze vést na nekonečný výsledný term)vproměnná = hodnota
.term1 == term2
L = [X|_]
Y = [a, b, c]
a(P, Q) → a(X, X)
is
integer(X)
, atom(X)
(X
je identifik8tor, konstanta)assert
) a odebírání (retract
) klauzulíSprávné použití:
Nesprávné použití: