Описание тега iso-prolog
ISO/IEC стандартизировал Пролог. Стандарт поддерживается ISO/IEC JTC1/SC22/WG17.
Действующие в настоящее время стандартные документы Prolog можно получить в национальных организациях-членах, таких как ANSI, или непосредственно в ISO. Обзор определенных функций.
ИСО / МЭК 13211-1:1995. Часть 1: Общее ядро. Опубликовано 01.06.1995. Также доступно намного дешевле, как INCITS/ISO/IEC 13211-1:1995 (R 2007) из-за INCITS.
ИСО / МЭК 13211-1:1995/ Кор.1:2007. Техническое исправление 1. Опубликовано 15 ноября 2007 г. Бесплатно.
ISO/IEC 13211-1:1995/Cor.2: 2012. Техническое исправление 2. Опубликовано 15 февраля 2012 г. Бесплатно.
ИСО / МЭК 13211-1:1995/ Кор.3:2017. Техническое исправление 3. Опубликовано 18 июля 2017 г. Бесплатно.
ИСО / МЭК 13211-2: 2000. Часть 2: Модули. Опубликовано 01.06.2000. Также доступно намного дешевле, как INCITS/ISO/IEC 13211-2:2000 (R 2006) из-за INCITS.
Вклады stackru о стандартных документах: