Logic API

The Logic API has been developed to support logical reasoning for agents. This API consists of:

Well-formed formulae are represented via the FOS class;
Negation is also represented via FOS class by checking whether the first letter of the predicate / functor is exclamation mark (!);
Variables are also represented via the FOS class by checking whether the first letter of the predicate / functor is a question mar (?);
Conjunction of literals is supported via the TerAND class;
Implication is supported via the TerImplication class;
Resolution-based Reasoning is supported via the QueryEngine class.