Mô tả ngôn ngữ Prolog có thể tìm kiếm trực tuyến

Question

Có mô tả ngôn ngữ Prolog (cú pháp và ngữ nghĩa) có sẵn trực tuyến không?

Có rất nhiều sách hướng dẫn tham khảo để triển khai. Nhưng không ai trong số đó là mô tả ngôn ngữ. Ví dụ: hướng dẫn sử dụng SWI Prolog states

Hướng dẫn này không mô tả đầy đủ cú pháp và ngữ nghĩa của Prolog.

và refers vào một bộ sách được in trên giấy, được xuất bản vào năm 1980. Và theo tiêu chuẩn ISO là tiền và "nên có sẵn từ đại diện ISO của nước tôi" vô nghĩa.

Answer 1

Tiêu chuẩn ISO có sẵn với mức giá rất thấp (hiện tại là USD 60) from the ANSI webstore dưới dạng tài liệu INCITS. Ở đó bạn cũng nhận được hai chế độ miễn phí. Xem iso-prolog tag info cho tất cả tài liệu hiện tại. Dưới đây là toàn diện overview of all built-in predicates bao gồm Cor.1 và Cor.2.

Nếu bạn muốn có phiên bản in, tốt nhất là vẫn in tài liệu INCITS ở trên mà bạn biết rằng trang 10 bị thiếu (một trang được cố ý để trống) — các trang lẻ khác ở bên trái. Tài liệu này là bản quét A4 với hai cột trên mỗi trang. Phụ lục A không chính thức sẽ tốt hơn trong một ràng buộc riêng biệt. Thay vào đó, hãy thêm hai chế độ!

Hoặc, SAI bán kính cứng.

Answer 2

Bạn có thể muốn sử dụng bản thảo sau đây của một
phụ lục của một cuốn sách đó không phải là tiêu chuẩn cốt lõi ISO:

ISO Prolog: Tóm tắt các Dự thảo đề xuất tiêu chuẩn.
Michael A. Covington, 1993
http://www.uv.es/fbarber/prolog/isoprolog94_ps.Z
http://www.dropbox.com/s/kr1pbrfc1kqzdpq/isoprolog94_ps.Z

Nó là ngắn hơn nhiều so với tiêu chuẩn ISO đầy đủ, nhưng
nó chính thức có trước và bao gồm gần như giống nhau.