ISO Prolog

ISO Prolog — стандартизированный диалект языка программирования Prolog.

Стандарт ISO Prolog состоит из двух частей. ISO/IEC 13211-1 был опубликован в 1995 году и ставил своей целью стандартизацию существующих реализаций основных элементов языка. Этот документ прояснил аспекты языка, которые до того были неоднозначными и препятствовали портированию программ на неродные реализации.

ISO/IEC 13211-2, опубликованный в 2000 году, добавляет к стандарту поддержку модулей.