“…Through the years, there have been many efforts in this direction in the area of Logic Programming and Databases, e.g. by interconnecting Prolog systems to relational databases [38,[41][42][43][44], in an approach that has some similarities with the one presented in this paper. In this area, Datalog [45] has become the de facto standard for the development of deductive databases.…”