The rules are laid out in ISO standard ISO/IEC 13211 although there are differences in the Prolog implementations.
Ці правила викладено у стандарті ISO/IEC 13211, хоча в реалізаціях Прологу є відмінності.