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

Undocumented predicates

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

Source entails_guard(Arg1, Arg2)
Source simplify_guards(Arg1, Arg2, Arg3, Arg4, Arg5)