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

Существует ли описание языка Prolog (синтаксис и семантика) в Интернете?

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

В этом руководстве не описывается полный синтаксис и семантика Prolog.

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

Ответ 1

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

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

В качестве альтернативы SAI продает печатные копии.

Ответ 2

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

ISO Prolog: краткое изложение предлагаемого стандарта.
Майкл А. Ковингтон, 1993

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

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