prolog to SQL converter

Question

Nếu không suy nghĩ nhiều, có vẻ như với tôi rằng một tập hợp lớn các chức năng của Prolog có thể được thực hiện như tính toán quan hệ (a.k.a. SQL).

Có ai đã nghe về bất kỳ công cụ nào để tự động chuyển đổi Prolog thành SQL không?

Answer 1

Kiến nghị:

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

tôi sử dụng advice- Eclipse prolog (http://www.eclipseclp.org/) (không (ở đây) nên nhầm với prolog trong eclipse IDE).

Tôi đã dành hàng giờ cố gắng lấy mã để biên dịch trong 4 phần mở đầu khác (!) Và 4 phút để biên dịch trong nhật thực.

Khi nó hoạt động, đó là một điều đẹp.

tín dụng để Herr Draxler tất nhiên

Answer 2

Ánh xạ không tốt lắm. SQL, ví dụ, không làm backtracking, thống nhất, danh sách, hoặc cấu trúc lồng nhau adhoc.

Prolog không xử lý tốt với các đối tượng kết hợp, chỉ mục, v.v.

Tôi muốn nói đó là một sự cố.

Answer 3

Có, tất nhiên.

Tiền đề cho người hoài nghi: bất kỳ sách bán phong nha nào về lý thuyết cơ sở dữ liệu đề cập đến Datalog (giống như Prolog) và định lý chứng minh có thể dịch nó sang/từ Đại số quan hệ (RA) (theo giới hạn cụ thể).

SQL là không trung thành với RA hoặc sỏi quan hệ, nhưng là đủ để hỗ trợ Prolog:

• Christoph Draxler đã phát triển một Prolog để biên dịch SQL (PL2SQL) cho luận án của mình, available for download (.tgz) - cũng ở đây tại CMU Artificial Intelligence Repository (nó đã được điều chỉnh và bao gồm trong ít nhất: Ciao Prolog và SWI-Prolog qua Blipkit - Biomedical LogIc Programming Knowledge Integration Kit);
• Igor Wojnicki đã phát triển cho tiến sĩ (A Rule-based Inference Engine Extending Knowledge Processing Capabilities of Relational Database Management Systems) hệ thống nguyên mẫu của mình triển khai Jelly View technology được gọi là ReDaReS, nhưng có vẻ như không có sẵn để tải xuống;
• Relational Abstract Machine (RAM) dịch Prolog thành Đại số quan hệ, nhưng dường như không có phần phụ trợ SQL;
• Walter D. Potter có a couple of papers về tích hợp Prolog/RDBMS;
• Giấy của Kevin Boone trên Using SQL with Prolog to improve performance with large databases cũng thú vị;
• and so on ...

Answer 4

Nó làm cho ý nghĩa hơn để làm một truy vấn sql từ prolog, mà sau đó có thể được dịch sang sự kiện prolog. ví dụ. Prolog ODBC Library

Điều này sẽ xóa tất cả các hạn chế và giữ hai ngôn ngữ được tách riêng thành địa điểm thích hợp của chúng.