cie / data-logic Goto Github PK
View Code? Open in Web Editor NEWThis project forked from arcadio/data-logic
Logical knowledge base prototype implemented in Prolog. Includes deductive querying and verification of constraints expressed in natural language.