Доступное для поиска описание языка Пролога онлайн [закрыто]

Есть ли в Интернете описание языка Пролог (синтаксис и семантика)?

Есть много справочных руководств для реализации. Но ни один из них не является описанием языка. Например, руководство по SWI Prologсостояния

This manual does not describe the full syntax and semantics of Prolog.

А такжеотносится к ряду книг, напечатанных на бумаге, изданных в восьмидесятых. И в соответствии со стандартом ISO, который предназначен для денег и должен быть доступен у представителя моей страны в ISO. тарабарщина.

 Hunter McMillen06 июн. 2012 г., 15:10
Синтаксис Googlng Prolog включил это:sics.se/sicstus/docs/3.7.1/html/sicstus_45.html
 false06 июн. 2012 г., 15:15
@HunterMcMillen: эта документация больше не актуальна. Вы имеете в виду версию 3 SICStus.Here is the current version of it, much closer to ISO
 Hunter McMillen06 июн. 2012 г., 14:25
Вы можете взглянуть на руководство по GNU Prolog, могут быть некоторые отличия в реализации, но GNU Prolog также соответствует стандарту ISO:gprolog.org/manual/gprolog.html
 horsh06 июн. 2012 г., 15:03
Это просто еще одно руководство по внедрению. Указывает ли это обозначение для восьмеричных целых чисел? Обсуждаются ли такие приятные детали, как то, что такое пробел и где пробелы обязательны? Что делает обратный слеш в конце строки? так далее
 horsh06 июн. 2012 г., 15:20
Вся глава "4 Пролог Язык" кажется очень актуальным. (По модулю тот факт, что это, вероятно, сдвинуто в пользу sicstus).

Ответы на вопрос(2)

Стандарт ISO доступен по очень низкой цене (в настоящее время USD30 60) из интернет-магазина ANSI как документ INCITS. Там вы также получите два исправления бесплатно. Увидетьинформация изо-пролога для всех текущих документов. Вот исчерпывающийобзор всех встроенных предикатов который включает в себя Cor.1 и Cor.2.

Если вам нужна распечатанная версия, лучше всего распечатать вышеупомянутый документ INCITS, осознавая, что страница 10 отсутствует (страница намеренно оставлена пустой) & # x2014; в противном случае странные страницы находятся на левой стороне. Документ представляет собой скан формата А4 с двумя столбцами на странице. Неофициальное Приложение А лучше в отдельном документе. Вместо этого добавьте два исправления!

С другой стороны,SAI продает печатные копии.

 horsh06 июн. 2012 г., 15:16
30 долларов США определенно лучше, чем 238 швейцарских франков.
 horsh23 окт. 2014 г., 22:06
О, МОЙ БОГ! Спасибо.
 23 окт. 2014 г., 17:48
@WouterBeek: Этот ответ будет вам интересен. Кроме того, вы получаете все документы от своего национального органа-члена.Here is Cor.2.
 25 окт. 2014 г., 12:57
@WouterBeek: Обратите внимание, что многие организации, такие как W3C или The Open Group, являются утвержденными заявителями PAS в ISO / IEC JTC1. Итак, они готовят документы, но ISO публикует их. Так что те же процедуры применяются для получения этих стандартов.
 24 окт. 2014 г., 22:35
@false Спасибо, что указали нам на эти документы! Жаль, что этот вопрос был сочтен не по теме. Новое поколение веб-программистов и программистов с открытым исходным кодом не привыкло покупать такие ресурсы у органов стандартизации, но им определенно следует это делать. Эти документы содержат массу информации.

Вы можете использовать следующую препринт
Приложение к книге, которая не является основным стандартом ISO:

ISO Prolog: A Summary of the Draft Proposed Standard.
Michael A. Covington, 1993

http://www.uv.es/fbarber/prolog/isoprolog94_ps.Z
http://www.dropbox.com/s/kr1pbrfc1kqzdpq/isoprolog94_ps.Z

Это намного короче, чем полный стандарт ISO, но
это неофициально предшествует и охватывает почти то же самое.

 23 окт. 2012 г., 12:14
Этот документ имеет историческую ценность только для тех, кто заинтересован в прочтении личной перспективы стандартизации до окончательного IS. Он содержит много различий с фактическим стандартом (например,fail_if, syntax_error) и не может рассматриваться как краткое изложениеiso-prolog,real Кодекс доступен для 30 долларов США от ANSI см.iso-prolog

Ваш ответ на вопрос