Lập trình quan hệ/logic trong Python?

Question

Tôi là một nhà phát triển python lâu năm và gần đây đã được giới thiệu với Prolog. Tôi thích khái niệm sử dụng các quy tắc mối quan hệ cho một số loại nhiệm vụ nhất định và muốn thêm điều này vào tiết mục của tôi.

Có thư viện nào tốt để lập trình logic bằng Python không? Tôi đã làm một số tìm kiếm trên Google nhưng chỉ tìm thấy những điều sau đây:

jtauber's blog series on relational_python

Rất thích để so sánh với một số người khác ... cảm ơn!

-aj

Answer 1

Có lẽ bạn nên google "Lập trình logic bằng Python". Pyke trông đầy hứa hẹn:

Pyke giới thiệu một hình thức logic lập trình (lấy cảm hứng từ Prolog) để cộng đồng Python bằng cách cung cấp một động cơ dựa trên tri thức suy luận (hệ thống chuyên gia) viết bằng 100% Python.

Không giống như Prolog, Pyke tích hợp với Python cho phép bạn gọi Pyke từ Python và trộn lẫn các câu lệnh và biểu thức Python trong phạm vi quy tắc hệ thống chuyên gia của bạn.

Answer 2

Bạn cũng có thể nhìn vào Dee, có thêm các mối quan hệ để Python: http://www.quicksort.co.uk

Answer 3

Một thực hiện Prolog gần đây trong Python (hay đúng hơn là RPython) trong Pyrolog. Nó vẫn còn khá thử nghiệm.

Answer 4

lựa chọn khác là Yield Prolog

Answer 5

Bạn có thể muốn sử dụng pyDatalog, thư viện lập trình logic mà tôi phát triển cho Python thực hiện Datalog. Nó cũng làm việc với SQLAlchemy để truy vấn các cơ sở dữ liệu quan hệ bằng các mệnh đề logic.

Answer 6

Bạn cũng nên kiểm tra PyLog:

http://cdsoft.fr/pylog/

Nó có một cú pháp và thực hiện rất sạch sẽ và đơn giản.

Answer 7

LogPy là triển khai miniKanren, một ngôn ngữ lập trình quan hệ, bằng Python. Nó theo truyền thống thứ nhất của core.logic, giải pháp lập trình logic ưu việt ở Clojure. LogPy được thiết kế cho khả năng tương tác với các codebases đã tồn tại từ trước.