Chào mừng bạn đến B-Prolog, một hệ thống linh hoạt và hiệu quả lập trình logic ràng buộc (CLP)! B-Prolog được mang đến cho bạn bởi Afany Software (New York), KLS (Tokyo), và NandaSoft (Nam Kinh).
Sự ra đời của CLP là một mốc quan trọng trong lịch sử của các ngôn ngữ lập trình. CLP kết hợp hai mô hình lập trình khai báo: lập trình logic và giải quyết khó khăn. Bản chất khai báo đã được chứng minh trong nhiều ứng dụng hấp dẫn bao gồm thiết kế máy tính hỗ trợ và xác minh, cơ sở dữ liệu, khai thác dữ liệu, kỹ thuật phần mềm, tối ưu hóa, cấu hình, giao diện người dùng đồ họa, và xử lý ngôn ngữ. Nó giúp tăng cường hiệu suất của sự phát triển phần mềm và phần mềm bảo trì. Ngoài ra, do sự sẵn có của hiệu quả hạn chế giải quyết, quản lý bộ nhớ, và kỹ thuật soạn thảo, các chương trình CLP có thể có hiệu quả hơn so với các đối tác của họ được viết bằng ngôn ngữ thủ tục.
là gì mới trong phiên bản này:
- Hỗ trợ UTF-8.
- New built-in: getpid / 1, bp_current_resource / 1.
- sửa lỗi và cải tiến:
Planner
giữa / 3.
trừ / 3.
Phép nhân hạn chế
Bình luận không