builtins.pl

Undocumented predicates

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

 negate_b(Arg1, Arg2)

 builtin_binds_b(Arg1, Arg2)

 binds_b(Arg1, Arg2)

 entails_b(Arg1, Arg2)