X-Prolog

X-Prolog là một hệ thống prolog nhẹ nhằm tạo điều kiện lập trình lập trình trong Prolog trên Android. Ứng dụng chạy các chương trình Prolog trong chế độ xem bảng điều khiển hoặc làm dịch vụ ràng buộc cho ứng dụng khách. Một khách hàng mẫu có sẵn tại https://github.com/xprolog/sample-client.
Có công cụ?
Ứ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ụ được viết bằng Prolog và có thể nhìn thấy trên các thiết bị với cá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 trình bày tính năng dụng cụ của ứng dụng.
Ứng dụng xác định các điểm mở rộng tại đó các biến chuyển có sẵn (thành 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 cấu hình để đóng góp cho một hoặc nhiều điểm mở rộng bằng cách chỉ định thuật ngữ bối cảnh.
Một thuật ngữ bối cảnh là thời hạn đọc của biểu mẫu
bối cảnh (tên, filetypes, ưu tiên)
, trong đó
tên
là tên của một điểm mở rộng,
filetypes
là danh sách các loại tệp chấp nhận được và
ưu tiên
là một số nguyên không nhỏ hơn 0, Ý nghĩa của cách 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à
Reconcile
, cho phép các công cụ đóng góp cho , tương ứng, xây dựng các dự án, chỉnh sửa các tập tin nguồn và mô hình nguồn đối chiếu.
Để 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
Build
. Để xuất dự án thành tệp đối tượng Runnable 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, 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 nó thành một 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 một tệp tải nhanh (.QL).
Các sự cố đã biết bao gồm xảy ra kiểm tra, Xem bản cập nhật logic, các biến được quy cho các biến khác.