Các lớp tương thích Prolog - các thư viện lập trình có sẵn

Question

Có thiếu một số vị từ trong một lần triển khai Prolog, có sẵn trong các cài đặt khác.

Chúng tôi có thể triển khai thiếu các biến vị ngữ, hãy gọi đây là "Lớp tương thích Prolog".

Bạn có biết "Lớp tương thích Prolog" cho Prolog (đặc biệt là cho GNU-Prolog) không?

Hãy cấu trúc câu trả lời trong sau cách:

• Tiêu đề với liên kết.
• "thực hiện cho" - thực hiện prolog bạn có thể muốn sử dụng
• "Tương thích với" - thực hiện prolog mà lớp tương thích được thực hiện
• "Chức năng" - danh sách các chức năng tương thích (bạn có thể bạn đậm favorites)
• "Thông tin bổ sung" - nhận xét, yêu cầu, hạn chế, vv
• "Giấy phép" - thông tin giấy phép

P.S. Câu hỏi lấy cảm hứng từ một câu hỏi khác: Prolog syntax problem.

Answer 1

YAP, SWI and GNU Prolog compatibility layer

• GNU Prolog compatibility layer
• SWI Prolog Compatibility layer
• YAP Prolog compatibility layer

Implementated cho: GNU-Prolog, SWI Prolog, YAP Prolog.

Tương thích với: SWI-Prolog và Prologs khác

Mô tả: (. GNU compat) "thực hiện nhiều vị từ thiết yếu được tìm thấy trong SWI Prolog và việc triển khai nhiều Prolog khác mà không có sẵn trong GNU Prolog. "

Chức năng: (. GNU compat) không/1, is_list/1, succ/2, sformat/3, chuỗi/1, is_codes/1, arithmetic_function, eval_arith/2, downcase_atom/2, forall/2, cờ/3, giữa/3, gensym/2, thời gian/1, nếu/2, nếu/3, nếu/4

Thông tin thêm: (. GNU compat) "Ngoài ra, bạn cần phải bao gồm lists.pl từ bản phân phối SWI. "

Giấy phép: GNU Public License