Перечень предикатов языка Пролог и другие мелочи / О встроенных предикатах

Встроенные предикаты бывают:
а.) С аргументами.
б.) Без аргументов.

Как обрабатывается любой встроенный предикат:

1.) Сначала унифицируется функтор предиката - идентичным
функтором, "прошитым" в базе данных (api.idb).
2.) Т.к. функтор был распознан как функтор встроенного
предиката, то выполняется некоторое действие.
3.) Если функтор имеет аргументы, то:
в соответствии с некоторым особым, индивидуальным
для каждого встроенного предиката правилом №1,
определяется терм, с которым будет унифицироваться
1 аргумент функтора.
4.) В соответствии с некоторым особым, индивидуальным
для каждого встроенного предиката правилом №2,
определяется терм, с которым будет унифицироваться
2 аргумент функтора.
5.) И т.д.
6.) Унифицируются аргументы предиката.
7.) Выдаётся ответ.

Теперь то же самое, но покороче.

1.) Унификация функтора.
2.) Действие.
3.) Выбор субъекта №1 унификации аргумента №1.
4.) Выбор субъекта №2 унификации аргумента №2.
5.) И. т.д.
6.) Унификация аргументов.
7.) Ответ.

Встроенные предикаты отличаются от обыкновенных тем,
что при их обработке происходит:
2.) Действие.
3.) Выбор субъекта №1 унификации аргумента №1.
4.) Выбор субъекта №2 унификации аргумента №2.
5.) И. т.д.,
чего не наблюдается при обработке обыкновенных
предикатов.