Assertions status that can be used at literal level, for instance:

p(A, B) :-
    q(A, B),
    check((int(A),int(B))).

this differs from simply call check/1 in which it will add location information fo facilitate debuging.

Re-exported predicates

The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.

 before(+Module) is det

Declaration to say that the expansion provided by this Module must happen before the expansion in Module

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 pp_status(Arg1)

 check(Arg1)

 check(Arg1, Arg2)

 false(Arg1)

 false(Arg1, Arg2)

 true(Arg1)

 true(Arg1, Arg2)

 trust(Arg1)

 trust(Arg1, Arg2)

 after(Arg1)

 init_expansors