% Provides a common set of operators in translation between the several logical languages % % Logicmoo Project PrologMUD: A MUD server written in Prolog % Maintainer: Douglas Miles % Dec 13, 2035 %

 head_singletons(?Pre, ?Post) is semidet

 head_singles0(?Pre, :TermPost) is semidet

 head_singles01(?Pre, ?Post) is semidet

Undocumented predicates

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

 mpred_functor(Arg1, Arg2, Arg3)