Node:Asserting with Constraints, Previous:Partial Evaluation, Up:Fragments and Bits

Asserting with Constraints

If you use the database, the clauses you assert might have constraints associated with their variables. You should use projecting_assert/1 instead of assert/1 in order to ensure that only the relevant and projected constraints get stored in the database.

| ?- {A+B=<33}, projecting_assert(test(A,B)).


| ?- listing(test).
test(A, B) :-

| ?- test(A,B).