StandartGOST.ru
ISO/IEC 13211-2:2000
Информационные технологии. Языки программирования. Пролог. Часть 2. Модули