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

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

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.) И. т.д.,
чего не наблюдается при обработке обыкновенных 
предикатов.