Re: Minimum depth limit



Hi

f(t,z).
f(e,q).
f(b,e).
f(w,i).
f(a,b).
f(q,w).
f(i,t).


f(X,X).
f(X,Y) :- f(Y,X).
f(X,Y) :- f(X,Z), f(Z,Y).

May be not a work.

If change to
f(t,z).
f(e,q).
f(b,e).
f(w,i).
f(a,b).
f(q,w).
f(i,t).


f2(X,X).
f2(X,Y) :- f(Y,X).
f2(X,Y) :- f(X,Z), f(Z,Y).

?- f2(a,z). no solution for turbo prolog

?- f2(a,Q). Q=a, Q=e 2 solution

I try a testing, Dont never mine.

.