プロローグからSQLへの変換

多くのことを考えずに、Prologの機能の大規模なセットをリレーショナルの計算（a.k.a SQL）として実装できるように思えます。プロローグからSQLへの変換

誰かが自動的にPrologをSQLに変換するツールについて聞いたことがありますか？

2009-04-07 BCS

いいえ、私はどんなのを知っているが、うわー – paxdiablo

:-)それに打撃を与えること自由に感じていません。この世界ではまだ発見の可能性はあるのです！ :) –

を私advice-使用Eclipseのプロローグ（http://www.eclipseclp.org/）（日食IDEにプロローグと混同すべきではない（ここでは））。

他の4つのプロローグ（！）でコンパイルするために数時間を費やし、eclipseでコンパイルするのに4時間を費やしました。

うまくいくと美しいものです。もちろん君Draxlerに

クレジットは

2012-07-18 17:47:28

マッピングがあまり良くありません。例えば、SQLは、バックトラッキング、統一、リスト、またはアドホックネストされた構造を行いません。

Prologはなど、複合オブジェクト、インデックス、

私はそれは、行くんだと言うだろうとうまく対処していません。

2009-04-07 06:56:02 MarkusQ

バックトラックや統一が必要ではないと思います（ジョインで）他の端から生成されるためOTOHこれは任意の深さの再帰をすべて終了します – BCS

バックトラック、統一、再帰およびリストなしではプロローグの全体が残っていた。あなたが自己修正SQL（クエリを構築するクエリ）を書くことを考えているのでなければ、あなたは結合で同じクラスのものを生成することはできません。 – MarkusQ

はい、もちろんです。

懐疑論者の前提：データベース理論についての半ばの本は、Datalog（Prologのようなものです）とそれをリレーショナル代数（RA）（特定の制限の下で）から翻訳することが可能であることを示す定理について述べています。

SQLは、PrologのRAまたはリレーショナル結石に忠実ではありませんが、サポートするのに十分である：

Christoph Draxlerは彼の論文のためのSQLコンパイラへのプロローグ（PL2SQL）を開発しました、available for download（.tgzファイル） - ここにもCMU Artificial Intelligence Repository（少なくとも：Ciao PrologおよびSWI-Prologに適合されており、Blipkit - Biomedical LogIc Programming Knowledge Integration Kitを介して）。
Igor WojnickiはJelly View technologyReDaReSと呼ばれる彼の博士号（A Rule-based Inference Engine Extending Knowledge Processing Capabilities of Relational Database Management Systems）プロトタイプシステムを開発しましたが、ダウンロードできないようです。
Relational Abstract Machine (RAM) Prologをリレーショナル代数に変換しますが、SQLバックエンドを持っていないようです。
Walter D. PotterはProlog/RDBMS統合でa couple of papersを持っています。
Using SQL with Prolog to improve performance with large databasesのKevin Booneの論文も興味深い。
and so on ...

2009-11-05 18:12:27 MaD70

その後、プロローグの事実に翻訳することができプロローグからSQLクエリを実行するために、より理にかなっています。例えばProlog ODBC Library

これにより、すべての制限が削除され、2つの言語が適切な場所に分けられます。

2011-06-06 13:13:38

答えて