TPROLOG : a typed prolog for relational database systems

الملخص EN

The combination of logic programming methods and database systems technology will result in knowledge bases of increased size and improved efficiency: this topic has received a lot of attention [1-6].

There are many technical problems which must be addressed and solved in order to combine logic programming languages and relational database systems.

Mainly, we are interested in the typing systems problems.

Relational database systems are well typed language, whilst logic programming languages are not [1, 5, 7, 8].

We overcome this difference by adding types to PROLOG (i.e.

TPROLOG).

TPROLOG allows the user to define enumerated types, sub-types, structure types, and variant types.