X-Prolog

X-Prolog là một hệ thống Prolog nhẹ nhằm tạo điều kiện thuận lợi cho việc lập trình trong Prolog trên Android. Ứng dụng chạy các chương trình Prolog ở chế độ xem văn bản, chế độ xem web hoặc dưới dạng dịch vụ liên kết với ứng dụng khách. Khách hàng mẫu có sẵn tại https://github.com/xprolog/sample-client.

Lưu ý rằng Google Play hạn chế việc sử dụng quyền truy cập tất cả tệp trong các ứng dụng nhắm mục tiêu Android 11 trở lên. Để cài đặt X-Prolog với quyền truy cập tất cả tệp, hãy tham khảo https://github.com/xprolog/xp/releases.

got tool? Ứng dụng phụ thuộc vào các công cụ do người dùng xác định để chỉnh sửa và xây dựng dự án. Các công cụ này được viết bằng Prolog và hiển thị trên các thiết bị có tùy chọn dành cho nhà phát triển. Ứng dụng và công cụ trao đổi dữ liệu thông qua các biến chuyển và đầu ra được định dạng. Bản phát hành này bao gồm các công cụ tầm thường nhằm chứng minh tính năng công cụ của ứng dụng.

Ứng dụng xác định các điểm mở rộng mà tại đó các biến chuyển có sẵn (tới các công cụ) và đầu ra được định dạng (từ các công cụ) được công nhận. Một công cụ có thể được định cấu hình để đóng góp vào một hoặc nhiều điểm mở rộng bằng cách chỉ định một thuật ngữ ngữ cảnh.

Thuật ngữ ngữ cảnh là thuật ngữ đọc của biểu mẫu ngữ cảnh (Tên, Loại tệp, Mức độ ưu tiên) , trong đó Tên là tên của một điểm mở rộng, Loại tệp tin > là danh sách các loại tệp được chấp nhận và Mức độ ưu tiên là một số nguyên không nhỏ hơn 0, ý nghĩa của chúng khác nhau tùy thuộc vào điểm mở rộng.

Bản phát hành này xác định ba điểm mở rộng: xây dựng, chỉnh sửa và điều chỉnh , cho phép các công cụ lần lượt đóng góp vào việc xây dựng dự án, chỉnh sửa tệp nguồn và điều chỉnh mô hình nguồn.

Để xây dựng một dự án, hãy mở một tệp trong thư mục trên cùng của dự án và nhấp vào Xây dựng . Để xuất dự án thành tệp đối tượng chạy được trên hệ thống tệp cục bộ, hãy nhấp vào Xuất . Để chạy tệp đối tượng, hãy nhấp vào Chạy .

Một tệp được coi là tệp nguồn nếu tồn tại một hoặc nhiều công cụ xây dựng tệp, có thể chuyển đổi tệp đó thành tệp nguồn khác. Bản phát hành này bao gồm một công cụ xây dựng duy nhất, Biên dịch , dịch tệp nguồn Prolog (.pl) thành tệp tải nhanh (.ql).

Các vấn đề đã biết bao gồm kiểm tra xảy ra, chế độ xem cập nhật lôgic, các biến được phân bổ trong số những vấn đề khác.