Datalog is a logic-based query-language used for knowledge representation and reasoning. Through the years, the literature has defined highly valuable algorithms, desirable properties, and useful transformations for this language and its extensions (e.g. Datalog+/-).

However, few to none tools facilitate the implementation of such results, making the existence of mature Datalog-based tools scarce.

This demonstration presents IMP-Logics, a Java library that offers a metamodel for Datalog and its extensions Datalog+/- that will allow researchers to easily implement the algorithms and demonstrations of the properties and transformations the community is working on.