StandartGOST.ru
ISO/IEC 13211-1:1995
Информационные технологии. Языки программирования. Пролог. Часть 1. Общее ядро