GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-bit) là một trình biên dịch Prolog miễn phí và mạnh mẽ cung cấp khả năng giải quyết ràng buộc trên các miền hữu hạn. Phần mềm này được thiết kế cho các nhà phát triển, những người cần tạo các chương trình phức tạp một cách dễ dàng. GNU Prolog chấp nhận Prolog với các chương trình ràng buộc và tạo các tệp nhị phân gốc, giống như gcc thực hiện từ nguồn C. Sau đó, tệp thực thi thu được sẽ độc lập, có nghĩa là nó có thể chạy trên bất kỳ máy tính nào mà không cần phần mềm hoặc thư viện bổ sung.

Một trong những lợi thế quan trọng nhất của GNU Prolog là kích thước nhỏ của nó. Vì phần mềm này có thể tránh liên kết mã của hầu hết các vị từ tích hợp sẵn không được sử dụng nên kích thước của tệp thực thi có thể rất nhỏ. Điều này làm cho nó trở nên lý tưởng cho các nhà phát triển muốn tạo các ứng dụng nhẹ không chiếm quá nhiều dung lượng trên máy tính của người dùng.

Hiệu suất của GNU Prolog cũng rất đáng khích lệ và có thể so sánh với các hệ thống thương mại. Điều này có nghĩa là bạn có thể dựa vào phần mềm này để mang lại kết quả nhanh chóng và hiệu quả mỗi khi bạn sử dụng.

Bên cạnh trì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. Trình thông dịch cho phép bạn kiểm tra mã của mình một cách tương tác và gỡ lỗi mọi sự cố phát sinh trong quá trình phát triển.

Phần Prolog tuân theo tiêu chuẩn ISO cho Prolog với nhiều tiện ích 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). Điều này có nghĩa là bạn có thể dựa vào phần mềm này để cung cấp kết quả đáng tin cậy mỗi khi bạn sử dụng.

GNU Prolog cũng bao gồm một bộ giải ràng buộc hiệu quả trê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 tính khai báo của lập trình logic.

Đặc trưng:

- Phù hợp với tiêu chuẩn ISO cho phần mở đầu

- 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 phần mở đầu 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 các tệp khác nhau

- Các ràng buộc được xác định trước: ràng buộc số học, ràng buộc Boolean, ràng buộc tượng trưng, ​​ràng buộc thống nhất.

- Chẩn đoán liệt kê được xác định trước.

- Các ràng buộc mới do người dùng xác định

Tóm tắt:

Nếu bạn đang tìm kiếm một trình biên dịch phần mở đầu mạnh mẽ nhưng miễn phí với khả năng giải quyết ràng buộc trên các miền hữu hạn thì không đâu khác ngoài phần mở đầu GNU 32-bit! Với kích thước nhỏ nhưng khả năng thực hiện ấn tượng được kết hợp với nhau bằng giao diện người dùng trực quan, làm cho chương trình này trở nên hoàn hảo không chỉ cho người mới bắt đầu mà cả những lập trình viên có kinh nghiệm!