Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- load_e(Arg1)
- needs_proccess(Arg1, Arg2)
- process_ec(Arg1, Arg2)
- abdemo_special(Arg1, Arg2, Arg3)
- convert_e(Arg1)
- set_ec_option(Arg1, Arg2)
- verbatum_functor(Arg1)
- builtin_pred(Arg1)
- e_to_pl(Arg1, Arg2, Arg3)
- show_fix_axiom_head(Arg1, Arg2, Arg3)
- clausify_pnf(Arg1, Arg2)
- tolerate_elaboration(Arg1, Arg2)
- correct_common(Arg1, Arg2)
- negations_inward(Arg1, Arg2)
- nnf(Arg1, Arg2)