never_assert_u(bc_q(a),too_early). % dont assert the "general" backchain rule as a forward chain! ==> never_assert_u((pt(bc_p(A), rhs([bc_q(A)]))),too_early). :- endif. :- (ain((bc_q(N)