Пролог в SQL конвертер

Question

Не задумываясь, мне кажется, что большой набор функций Пролога может быть реализован как реляционное исчисление (a.k.a. SQL).

Кто-нибудь слышал о каких-либо инструментах для автоматического преобразования Пролога в SQL?

Answer 1

Да, конечно.

Предпосылка для скептиков: в любой полуприличной книге по теории баз данных упоминается Даталог (который является прологоподобным) и теоремы, которые демонстрируют, что можно перевести его в / из реляционной алгебры (RA) ( при определенных ограничениях).

SQL не верен RA или реляционным исчислениям, но достаточен для поддержки Пролога:

• Кристоф Дракслер разработал компилятор Prolog to SQL (PL2SQL) для своей диссертации, доступный для загрузки (.tgz) - также здесь, в CMU Artificial Intelligence Repository (он был адаптирован и включен как минимум: Ciao Prolog и SWI-Prolog через Blipkit - комплект для интеграции знаний в области биомедицинского программирования );
• Игорь Войницкий разработал для своего кандидата наук ( Механизм вывода на основе правил, расширяющий возможности обработки знаний в системах управления реляционными базами данных ) прототип системы, реализующей его технологию Jelly View , названную ReDaReS , но, похоже, он недоступен для загрузки;
• Реляционная абстрактная машина (ОЗУ) переводит Prolog в реляционную алгебру, но, похоже, у нее нет SQL-интерфейса;
• У Уолтера Д. Поттера есть пара статей по интеграции Prolog / RDBMS;
• Статья Кевина Буна о Использование SQL с Prolog для повышения производительности при работе с большими базами данных также интересно;
• и т. Д. ...

Answer 2

Рекомендуя:

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

мой совет - используйте пролог Eclipse (http://www.eclipseclp.org/) (не (здесь), чтобы не путать с прологом в IDE затмения).

Я часами пытался заставить код скомпилироваться в 4 других прологах (!) И 4 минуты, чтобы скомпилировать в затмении.

Когда это работает, это красота.

Благодарю, конечно, герра Дракслера

Answer 3

Имеет смысл сделать запрос sql из пролога, который затем можно перевести в факты пролога. например Библиотека Prolog ODBC

Это снимает все ограничения и позволяет разделить два языка на свои места.

Answer 4

Отображение не очень хорошее. Например, в SQL не выполняется возврат, объединение, списки или временные структуры.

Пролог плохо работает с составными объектами, индексами и т. Д.

Я бы сказал, что нет.

Answer 5

I написал переводчик , который преобразует подмножество Prolog в пользовательские функции SQL.

Этот предикат в Прологе можно перевести на SQL:

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

Это вывод транслятора в виде функции MySQL:

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

Аналогично, есть компилятор Пролог-в-SQL компилятор для SWI-Prolog и другой транслятор , который преобразует нерекурсивное подмножество Datalog в SQL.