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.

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)

 before(Arg1)

 after(Arg1)

 init_expansors