На этом шаге мы рассмотрим арность предиката.
Арность предиката - это количество аргументов, которые он принимает. Вы можете иметь два предиката с одним и тем же именем, но отличающейся арностью. В разделах predicates и clauses версии предикатов с одним именем и разной арностью должны собираться вместе; за исключением этого ограничения, различная арность всегда понимается как полное различие предикатов. Проиллюстрируем это примером pro25_1.pro.
domains
person = symbol
predicates
father(person) % этот person - отец
father(person, person) % первый person является отцом другого
clauses
father(Man):-
father(Man,_).
father(adam,seth).
father(abraham,isaac).
На следующем шаге мы рассмотрим синтаксис правил.
