% 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)