Did you know ... Search Documentation:
Pack pfc -- prolog/pfc2.0/mpred_database.pl
PublicShow source
 neg_in_code(+G) is semidet
Negated In Code.
 neg_may_naf(:GoalP) is semidet
Negated May Negation-by-faliure.
 repropagate_2(+P) is semidet
repropagate Extended Helper.

Undocumented predicates

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

 neg_in_code0(Arg1)