Inference engine for propositional logic in Software based on the Truth Table (TT) checking, and Backward Chaining (BC) and Forward Chaining (FC) algorithms
-
Notifications
You must be signed in to change notification settings - Fork 0
xxfast/iEngine
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Inference engine for propositional logic in Software based on the Truth Table (TT) checking, and Backward Chaining (BC) and Forward Chaining (FC) algorithms
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published