Did you know ... | Search Documentation: |
Pack logicmoo_base -- prolog/logicmoo/common_logic/common_logic_snark.pl |
% Provides a specific compilation API for KIF axioms %
% Logicmoo Project PrologMUD: A MUD server written in Prolog % Maintainer: Douglas Miles % Dec 13, 2035 %
====== kif_to_boxlog(+Wff,-NormalClauses)
:-
The following predicates are exported, but not or incorrectly documented.