Did you know ... Search Documentation:
Pack logicmoo_ec -- prolog/ec_planner/ec_nnf.pl
PublicShow source

Undocumented predicates

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

 clausify_pnf(Arg1, Arg2)
 tolerate_elaboration(Arg1, Arg2)
 correct_common(Arg1, Arg2)
 negations_inward(Arg1, Arg2)
 nnf(Arg1, Arg2)