Inference engine for propositional logic in Software based on the Truth Table (TT) checking, and Backward Chaining (BC) and Forward Chaining (FC) algorithms
Primary LanguageC++
No issues in this repository yet.