postgreSQL as deductive DBMS

Hello all,

I have some ideas how to increase expressive power of the PostgreSQL query language. It is