Did you know ... Search Documentation:
Pack logicmoo_base -- prolog/logicmoo/tptp/pdl-tableau/pdl_dGM_nd.pl
PublicShow source

Undocumented predicates

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

 eventualities(Arg1, Arg2)
 simplify_X(Arg1, Arg2)
 reduce_local(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7)