LogicProgramming - Forward chaining

In this project is implemented the algorithm of forward chaining using Java, the knowledge base use Horn Clauses and the program allows to add, edit or delete rules, also you can enter the facts before using forward chaining

Modify rules

Add facts

Do forward chaining