Hello. I have as theme for a project to implement a reasoning algorithm that perform operations over a knowledge base constituted of facts, rules and negative constraints. The main goal of the system...