Options: ======= use_query_const: no derive_idb_literals: no Input Rules: =========== p(X0) :- q(a,X0). q(a,X0) :- s(X0). q(b,X0) :- r(X0). EDB-Predicates: ============== r/1. s/1. Query: ===== p(X0). Conditional Facts: ================= db(r(X0)) :- r(X0). db(s(X0)) :- s(X0). rule(p(X0),[q(a,X0)]) :- true. rule(q(a,X0),[s(X0)]) :- true. rule(q(b,X0),[r(X0)]) :- true. query(p(X0)) :- true. Partial Evaluation is running ... Conditional Facts: ================= db(r(X0)) :- r(X0). db(s(X0)) :- s(X0). rule(p(X0),[q(a,X0)]) :- true. rule(q(a,X0),[s(X0)]) :- true. rule(q(b,X0),[r(X0)]) :- true. query(p(X0)) :- true. node(p(X0),[p(X0)]) :- true. node(p(X0),[q(a,X0)]) :- true. node(p(X0),[s(X0)]) :- true. node(p(X0),[]) :- p0(X0). answer(p(X0)) :- p1(X0). Rules after Partial Evaluation: ============================== p0(X0) :- s(X0). p1(X0) :- p0(X0). Rules after Copy Rule Elimination: ================================= p0(X0) :- s(X0). p1(X0) :- p0(X0).