% This example has all information in the program (no EDB predicates). % Partial evaluation should generate the final answers. use_query_const yes. derive_idb_literals yes. path(X,Y) :- edge(X,Y). path(X,Z) :- edge(X,Y), path(Y,Z). edge(a,b). edge(b,c). edge(c,d). edge(d,c). :- path(b,X).