Did you know ... Search Documentation:
Pack logicmoo_base -- prolog/logicmoo/typesystem/mpred_type_wff.pl
PublicShow source

% 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 Singletons.
 head_singles0(?Pre, :TermPost) is semidet
Head Singles Primary Helper.
 head_singles01(?Pre, ?Post) is semidet
Head Singles Primary Helper Secondary Helper.

Undocumented predicates

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

 mpred_functor(Arg1, Arg2, Arg3)