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

% Provides interface for loading/interpretation of CLIF/KIF Files % % t/N % hybridRule/2 % % % Logicmoo Project PrologMUD: A MUD server written in Prolog % Maintainer: Douglas Miles % Dec 13, 2035 %

 kif_io is det
Knowledge Interchange Format.
 kif_process(:GoalAssert) is det
Knowledge Interchange Format Process.
 kif_process(?Other, :GoalWff) is det
Knowledge Interchange Format Process.
 kif_read(?InS, ?Wff, ?Vs) is det
Knowledge Interchange Format Read.
 kif_io(?InS, ?Out) is det
Knowledge Interchange Format Input/output.

Undocumented predicates

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

 load_clif(Arg1)