Added Clauses-based and HornClauses-based Knowledge Bases with inference procedures of Resolution and Forward Chaining respectively. Added some syntactital sugar (DSL) for clauses and horn clauses generation. Some tests were implemented..