GNU Prolog (64-bit)

Sự miêu tả

GNU Prolog là một trình biên dịch Prolog miễn phí với khả năng giải quyết các ràng buộc trên các miền hữu hạn. GNU Prolog chấp nhận Prolog với các chương trình ràng buộc và tạo ra các tệp nhị phân gốc (như gcc làm từ nguồn C). Sau đó, tệp thực thi thu được là độc lập. Kích thước của tệp thực thi này có thể nhỏ vì GNU Prolog có thể tránh liên kết mã của hầu hết các vị từ tích hợp không được sử dụng. Hiệu suất của GNU Prolog là rất đáng khích lệ (có thể so sánh với các hệ thống thương mại). Bên cạnh biên dịch mã gốc, GNU Prolog cung cấp trình thông dịch cổ điển (cấp cao nhất) với trình gỡ lỗi.

Phần Prolog tuân theo tiêu chuẩn ISO cho Prolog với nhiều phần mở rộng rất hữu ích trong thực tế (biến toàn cục, giao diện hệ điều hành và ổ cắm). GNU Prolog cũng bao gồm một trình giải quyết ràng buộc hiệu quả trên Tên miền hữu hạn (FD). Điều này mở ra lập trình logic ràng buộc cho người dùng kết hợp sức mạnh của lập trình ràng buộc với khả năng khai báo của lập trình logic. Các tính năng bao gồm tuân thủ tiêu chuẩn ISO cho Prolog, cơ sở chỉnh sửa dòng dưới trình thông dịch tương tác với sự hoàn thành trên các nguyên tử, giao diện hai chiều giữa Prolog và C, trình biên dịch mã gốc tạo ra các tệp thực thi độc lập, trình biên dịch dòng lệnh đơn giản chấp nhận nhiều tệp, được xác định trước các ràng buộc: ràng buộc số học, ràng buộc Boolean, ràng buộc tượng trưng và các ràng buộc đã sửa đổi, phép toán số hóa được xác định trước và người dùng có thể xác định các ràng buộc mới của riêng mình.