Prolog to SQL Converter

Question

Without thinking a lot, it seems to me that a large set of Prolog functions can be implemented as relational calculus (aka SQL).

Has anyone heard of any tools for automatically converting Prolog to SQL?

Answer 1

Recommending:

https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/code/io/pl2sql/0.html

my advice is to use the Eclipse prolog (http://www.eclipseclp.org/) (not (here) to confuse it with the prolog in the Eclipse IDE).

I spent hours trying to compile the code in 4 other prologs (!) And 4 minutes to compile in eclipse.

When it works, it is a thing of beauty.

Loan to mister draxler of course

Answer 2

Yes of course.

A premise for skeptics: any semisimilar book on database theory mentions Datalog (which is prologue) and theorems that demonstrate what can be translated to / from relational algebra (RA) (subject to certain restrictions).

SQL does not match RA or relational calculus, but enough to support Prolog:

• Christoph Draxler developed the Prolog to SQL compiler (PL2SQL) for his dissertation, available for download (.tgz) - also here in the CMU Artificial Intelligence Repository (it has been adapted and enabled at least: Ciao Prolog and SWI-Prolog via Blipkit - biomedical kit for integrating LogIc programming knowledge );
• Igor Voynitsky developed for his PhD ( a rule-based output mechanism that extends the processing of data in relational database systems ), a prototype of the system that implements its Jelly View technology is called ReDaReS , but it seems to be unavailable for download;
• A relational abstract machine (RAM) translates Prolog into relational algebra, but it does not seem to have an SQL backend;
• Walter D. Potter has several articles on Prolog / RDBMS integration;
• Kevin Boone's paper Using SQL with Prolog to improve performance with large databases is also interesting;
• etc. ...

Answer 3

The display is not very good. SQL, for example, does not roll back, concatenate, lists, or adhoc nested structures.

The prolog does not cope with compound objects, indexes, etc.

I would say that this is not-go.

Answer 4

It is more difficult to make a sql query from a prolog, which can then be translated into a prolog. e.g. ODBC Library Prolog

This removes all restrictions and keeps the two languages ​​in place.

Answer 5

I wrote a translator that converts a subset of Prolog into custom SQL functions.

This predicate in Prolog can be translated into SQL:

is_between(A,B,C) :- A<B,B<C. 

This is the translator output as a MySQL function:

 CREATE FUNCTION is_between(A double,B double,C double) RETURNS BIT BEGIN RETURN A>B and B>C; END 

Similarly, there is a Prolog-in-SQL compiler for SWI-Prolog and another translator that converts a non-recursive subset of Datalog to SQL.