Using C# to create an Inference Engine. This program allowed users to enter a file that required propositional logic to solve.
Using a Frontier-Based Approach, this program could achieve:

• Forward Chaining

• Backward Chaining

• Creating a Truth Table