Sea el programa definido:

P={C1: p(X,Z)←q(X,Y) ^ p(Y,Z)

C2: p(X,X)←

C3: q(a,b)←}

y el objetivo definido G≡←p(X,b).[4]

Su arbol finito es: