Арность (размерность)

Арность предиката - это количество аргументов, которые он принимает.

Вы можете иметь два предиката с одним и тем же именем, но разной ар-

ностью. Версии предикатов с одним именем и разной арностью должны соби-

раться вместе в двух секциях вашей программы: predicates и clauses; за

исключением вышесказанного, различная арность всегда понимается как пол-

ное различие предикатов.

/* Программа CH04EX06.PRO - пример

с различной арностью предикатов */

domains

person = symbol

predicates

farther(person) /*этот person - отец*/

farther(person, person) /*первый person является

отцом другого person*/

clauses

farther(Man) :-

farther(Man,_).

farther(adam, seth).

farther(abraham, isaac).