Expert system for logical expressions on backward-chaining inference engine.
Primary LanguageC++The UnlicenseUnlicense