Did you know ... Search Documentation:
Pack assertions -- prolog/ppntprops.pl
PublicShow source

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

p(A, B) :-
    q(A, 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.

 check(Arg1, Arg2)
 false(Arg1, Arg2)
 true(Arg1, Arg2)
 trust(Arg1, Arg2)