GNU Prolog là một người tự do Prologlanguage compiler với constraint giải quyết xong cũng có hạn miền được phát triển bởi Daniel. Diaz đy. GNU Prolog chấp nhận Prologlanguage constraint chương trình và tạo ra thổ dn nhị phn (như gcc có từ một chiếc C nguồn). Những được thực hiện được là vậy đứng một mình.
Kích cỡ của nó này thực hiện được có thể là rất nhỏ từ GNU Prolog có thể tránh để liên kết những mật mã của nhất chưa xài được xy dựng-trong predicates. Màn trình diễn của những GNU Prolog đang rất mạnh dạn (comparable để quảng cáo hệ thống). Bên cạnh những thổ dn-mã compilation, GNU Prolog đề nghị một cổ điển tương tác, người phiên dịch (cao cấp) với một & gỡ lỗi.
Cái Prologlanguage phần conforms với PAGE chuẩn cho Prologlanguage với nhiều mở rộng rất hữu dụng trong tập (toàn cầu biến, hệ điều hành diện, ổ cắm,).GNU Prolog cũng bao gồm một hiệu quả constraint solver qua cũng có hạn Miền (FD). Này mở contraint lý chương trình của người dùng kết hợp sức mạnh của constraint chương trình với những declarativity suy luận của ngươi chương trình.
Chính tính năng:
- Prologlanguage hệ thống:
- conforms với PAGE chuẩn cho Prologlanguage (trôi điểm số, streams, cầm súng chặt vừa phải là mật mã,).
- rất nhiều mở rộng: toàn cầu biến, rõ ràng trong các điều khoản grammars (DCG), ổ cắm diện, hệ điều hành diện
- nhiều hơn 300 Prologlanguage xy dựng-trong predicates.
- Prologlanguage & gỡ lỗi và cấp thấp WAM & gỡ lỗi.
- dòng sửa cơ sở dưới tương tác, người phiên dịch với xong trên nguyên tử.
- mạnh hai chiều diện giữa Prologlanguage và C.
- Compiler:
- thổ dn-mã compiler sản xuất đứng yên executables.
- mệnh lệnh đơn giản đường compiler chấp nhận rộng thể loại hồ sơ: Prologlanguage tập tin, C tập tin, WAM các tập tin...
- trực tiếp thế hệ của hội đồng mã 15 lần nhanh hơn wamcc gcc.
- hầu hết chưa xài được xy dựng-trong predicates không liên quan (giảm kích cỡ của executables).
- biên dịch predicates (thổ dn-mã) nhanh như wamcc trên trung bình.
- hỏi ý kiến predicates (theo ngày-mã) 5 lần nhanh hơn wamcc.
- Constraint solver:
- FD biến à thm nhập vào Prologlanguage môi trường (toàn tương thích với Prologlanguage biến và integers). Không cần bộc bạch FD declarations.
- rất có hiệu quả FD solver (comparable để quảng cáo solvers).
- cao cấp những người giam giữ thể được miêu tả trong các điều kiện đơn giản nguyên thçy.
- rất nhiều những người giam giữ được xác định trước: học những người giam giữ luận lý những người giam giữ, tượng trưng những người giam giữ reified những người giam giữ...
- vài được xác định trước sự đếm heuristics.
- người có thể xác định của chính hắn mới những người giam giữ.
- hơn 50 FD toà trong những người giam giữ/predicates.
Bình luận