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

Question

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

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

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

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

Answer 1

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

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

В качестве альтернативы, ВОФК продает печатные копии.

Answer 2

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

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

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