Modern IT systems manage an increasing quantity of information, sometimes certain by complex types, that have to have precise representations of the identical details in an effort to execute translation among several application layers Datalog is usually a declarative logic programming language.