Thực thi mã prolog trên iPhone

Question

Tôi hiện đang có nhu cầu thực thi mã prolog trong một ứng dụng tôi đang thực hiện. Tôi biết rằng Apple có lẽ sẽ không bao giờ cho phép một cái gì đó như thế này trong App Store, nhưng đó cũng không phải là ý định. Đây là một dự án riêng tư sẽ không bao giờ tiếp cận với App Store.

Mục đích

Trong trường hợp này prolog được sử dụng để mô tả một đối tượng (ví dụ như một điện thoại) và thuộc tính của nó. Đối tượng sẽ được vẽ bằng OpenGL sử dụng tọa độ được chỉ định trong tập lệnh prolog. Lý do để sử dụng prolog là tôi cần khả năng truy vấn chương trình về một số tính năng mà đối tượng này có, và prolog giảm bớt điều này rất nhiều. Tóm lại: Tôi "cần" để truy vấn một tập lệnh prolog từ ứng dụng của tôi.

giải pháp có thể

• Nhúng một thực hiện đã tồn tại được viết bằng C. Tôi không chắc chắn nếu điều này thậm chí sẽ làm việc.
• Thực thi mã prolog trên máy khác và sử dụng mạng để truy vấn prolog.
• Dường như có thể chạy một số loại Ruby VM bên trong ứng dụng (shinycocos sử dụng điều này theo như tôi hiểu), điều này có thể được sử dụng để chạy một trong các triển khai Ruby Prolog không?
• Tìm một số thay thế cho Prolog. Điều này cần phải cho tôi một số khả năng tương tự tôi nhận được với prolog.

Đáng buồn thay, google cho tôi gần như không có kết quả nào cả, vì vậy tôi có cảm giác rằng tôi có thể hoàn toàn đơn độc trong dự án này. Nếu bất cứ ai có bất kỳ kinh nghiệm hoặc đầu mối nào cả, tôi sẽ rất biết ơn.

Answer 1

Nửa năm sau, tôi chỉ muốn cung cấp một số thông tin chi tiết về điều này. Tôi đã kết thúc bằng cách viết một máy chủ với một giao diện để prolog trong Java, chấp nhận các cuộc gọi prolog thông qua TCP. Nó hoạt động gần như chính xác như trình thông dịch prolog sống SWI-prolog (trong số những người khác) cung cấp, và hầu hết hoạt động khá tốt. Tuy nhiên, nó là xa một giải pháp tối ưu, vì bạn không thể gọi các chức năng từ bên trong prolog. Bạn mất khả năng giao tiếp hai chiều.

Nếu tôi bắt đầu lại từ đầu, tôi chắc chắn sẽ cố gắng để biên dịch một trong những triển khai C thuần túy cho iOS. Tôi đã cho nó một cách nhanh chóng, nhưng sự thiếu kinh nghiệm của tôi đã ngăn cản tôi thậm chí loại bỏ tất cả các lỗi mà tôi nhận được. Đánh giá bởi thực tế là bạn không thể có prolog chạy như một quá trình nền trên một phiên bản chưa sửa đổi của iOS là tốt, một số viết lại lớn sẽ phải được thực hiện. Bởi vì điều này, người ta chỉ có thể phải viết một thực hiện mới (có lẽ lấy cảm hứng từ một số những cái nhẹ hơn ra khỏi đó) từ đầu để có được giải pháp hoàn hảo.

Answer 2

Bạn có thể tải xuống SWI-Prolog's mã nguồn và biên dịch mã nguồn bằng XCODE cho nền tảng iOS. Tôi chưa bao giờ làm điều đó, nhưng nó chắc chắn về mặt kỹ thuật có thể.

Khi bạn làm điều đó, có rất nhiều ví dụ về cách chạy mã prolog từ C/C++, do đó, bạn sẽ có thể chạy prolog từ Objective-C.

Answer 3

Gặp phải những khó khăn tương tự khi gọi mã prolog, mặc dù trong một tình huống khác, tôi khuyên bạn nên kiểm tra thư viện castor C++. Điều này cho phép bạn viết mã mô hình logic trong native C++ mà không cần mở rộng ngôn ngữ. Là castor là một thư viện chỉ tiêu đề nó rất dễ dàng để biên dịch bất cứ nơi nào C++ có sẵn.
Trang web của Castor: http://www.mpprogramming.com/cpp/default.aspx

Answer 4

FYI, bạn có thể khá dễ dàng bi-directionally thực hiện cuộc gọi giữa Java và SWI-Prolog nếu bạn sử dụng JPL:

http://www.swi-prolog.org/packages/jpl/

Nó cũng được hoàn toàn tái ký dự thi, vì vậy bạn có thể nhanh chóng đang prolog từ java, lần lượt tạo mã java, v.v ...

Tôi đã thực hiện điều này cho một số dự án thương mại vài năm trước khi tôi được yêu cầu kết nối Công cụ lập luận dựa trên Prolog với rất nhiều mã Java.

Nó sử dụng JNI (Giao diện bản địa Java), vì vậy bạn cần phải cẩn thận về cách bạn biên dịch và liên kết đến api gốc. Mặc dù nếu bạn biên dịch nó một cách thích hợp cho mỗi nền tảng, bạn có thể làm cho nó hoạt động trên nền tảng. Tôi đã làm việc trên OS-X, Windows, Linux & Solaris.