Quiz | Deklaratywne-Machen

Jaki będzie rezultat wykonania operacji uzgadniania: ?- n(k,Y,g(h(Y)),h(Y))=n(W,p(W),g(X),h(p(W))).

X=h(p(k)) W=k Y=X

False

X=h(k) W=k Y=h(p(k))

X=h(p(k)) W=k Y=p(k)

Losowa kolejność Reset Start