0
Во введении here указано, что стандарт ISO для Prolog был сбой. Может ли кто-нибудь уточнить это?Почему был стандартом ISO для пролога?
A
ответ
3
Система, которую вы цитируете, SWI-Prolog, представляет собой систему, ядро которой разработано одним разработчиком. Такие смелые заявления, как вы цитируете, - это его личное мнение. В прошлом SWI выполнял стандарты ИСО на определенный период. Потом, недавно изменилось. Если вы хотите узнать больше об этом, обратитесь к this answer.
Существуют системы, которые соответствуют - в частности: SICStus Prolog sicstus-prolog и GNU Prolog gnu-prolog.
Если вы хотите узнать больше о целях стандартов, в частности стандартов ИСО, обратитесь к своему национальному органу по стандартизации. Они, безусловно, предлагают 1- или 2-дневные вступительные курсы. Это не место, чтобы обсудить это.
+6
Пожалуйста, смотрите мой комментарий по вопросу. –
Этот вопрос и принятый ответ основаны на недоразумении. Связанный раздел гласит: «Модули Prolog определены стандартом ISO. К сожалению, стандарт считается неудачным и, насколько нам известно, не реализован ни в какой конкретной реализации Prolog». Стандарт, упоминаемый здесь, явно _ISO/IEC 13211-2_, то есть _ISO Prolog - часть 2: модули, а не весь стандарт ISO Prolog. –
@MichaelBenYosef: Вы можете прочитать текст так же, как и вы; но лучше взгляните на конкретную систему и что она делает. См. Мой ответ для этого. – false
@false: Я внимательно следил за объявлением SWI7 и последующими аргументами в отношении несоответствия, поэтому я хорошо знаю ситуацию. Лично я пытаюсь написать соответствующий код при использовании SWI. Но я думаю, что здесь есть интересный вопрос, хотя и тот, который также неприемлем для SO: почему такие системы, как те, которые вы указали, включают _ISO/IEC 13211-1_, а _ISO/IEC 13211-2_ почти повсеместно игнорируются. –