You need to implement an inference engine for propositional logic in software based on the Truth Table (TT) checking, and Backward Chaining (BC) and Forward Chaining (FC) algorithms. Your inference engine will take as arguments a Horn-form Knowledge Base KB and a query q which is a proposition symbol and determine whether q can be entailed from KB.
You will also need to write a report about how your program works with different knowledge bases and queries. Implementation . You must gain permission before using anything else. Assignment work will be tested on a standard 32-bit Microsoft Windows 7 system.
ReadMe file at the end Thank you