% 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).