Did you know ... Search Documentation:
builtins.pl
PublicShow source

Undocumented predicates

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

Source binds_b(Arg1, Arg2)
Source entails_b(Arg1, Arg2)
Source negate_b(Arg1, Arg2)
Source builtin_binds_b(Arg1, Arg2)