Онлайн-описание языка Пролог с возможностью поиска

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

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

Это руководство не описывает полный синтаксис и семантику Пролога.

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


standards prolog iso-prolog
person horsh    schedule 06.06.2012    source источник
comment
Вы можете взглянуть на руководство GNU Prolog, там могут быть некоторые различия в реализации, но GNU Prolog также соответствует стандарту ISO: gprolog.org/manual/gprolog.html   -  person Hunter McMillen    schedule 06.06.2012
comment
Это просто еще одно руководство по реализации. Определяет ли он обозначение для восьмеричных целых чисел? Обсуждаются ли в нем такие приятные детали, как что такое пробелы и где пробелы обязательны? Что делает обратная косая черта в конце строки? так далее   -  person horsh    schedule 06.06.2012
comment
Googlng Prolog Syntax обнаружил это: /3.7.1/html/sicstus_45.html   -  person Hunter McMillen    schedule 06.06.2012
comment
@HunterMcMillen: эта документация устарела. Вы имеете в виду версию 3 SICStus. Вот его текущая версия, гораздо более близкая к ISO   -  person false    schedule 06.06.2012
comment
Вся глава 4 «Язык Пролог» кажется очень актуальной. (По модулю того факта, что это, вероятно, смещено в пользу сикстуса).   -  person horsh    schedule 06.06.2012
comment
Еще одна вещь, которая мне удалось найти, имеет отношение к делу: ISO Prolog: Краткое изложение проекта предлагаемого стандарта.   -  person horsh    schedule 06.06.2012

Ответы (2)


arrow_upward
6
arrow_downward

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

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

Кроме того, SAI продает печатные копии.

person false    schedule 06.06.2012
comment
30 долларов США определенно лучше, чем 238 швейцарских франков. - person horsh; 06.06.2012
comment
@WouterBeek: этот ответ будет вам интересен. Кроме того, вы можете получить все документы от вашей национальной организации-члена. Вот Cor.2. - person false; 23.10.2014
comment
@false Спасибо, что указали нам на эти документы! Жаль, что этот вопрос посчитали не по теме. Новое поколение веб-программистов и программистов с открытым исходным кодом не привыкло покупать такого рода ресурсы у органов по стандартизации, но они определенно должны это делать. Эти документы содержат массу информации. - person Wouter Beek; 25.10.2014
comment
@WouterBeek: Обратите внимание, что многие организации, такие как W3C или The Open Group, являются утвержденными отправителями PAS в ISO/IEC JTC1. Вот они готовят документы, а ИСО их публикует. Таким образом, для получения этих стандартов применяются те же процедуры. - person false; 25.10.2014

arrow_upward
-1
arrow_downward

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

ISO Prolog: краткое изложение проекта предлагаемого стандарта.
Майкл А. Ковингтон, 1993 г.
http://www.uv.es/fbarber/prolog/isoprolog94_ps.Z
http://www.dropbox.com/s/kr1pbrfc1kqzdpq/isoprolog94_ps.Z

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

person Mostowski Collapse    schedule 07.06.2012
comment
Этот документ представляет историческую ценность только для тех, кто хочет ознакомиться с личным взглядом на стандартизацию до окончательной версии ИС. Он содержит много отличий от фактического стандарта (например, fail_if, syntax_error) и не может рассматриваться как сводка iso-prolog. Настоящий кодекс доступен за 30 долларов США в ANSI, см. iso-prolog. - person false; 23.10.2012