Modern day IT systems control a growing volume of facts, occasionally certain by complex designs, that have to have distinct representations of the same information so as to complete translation between several software layers Its origins day back again to the beginning of logic programming, and