Как объявить предикат пользователя

Объявление предиката начинается с имени этого предиката, за которым

следует открывающая (левая) круглая скобка, после чего следует ноль или

больше типов аргументов предиката.

predicateName (argument_type1, argument_type2,..., argument_typeN)

После каждого типа аргумента следует запятая, а после последнего ти-

па аргумента - закрывающая (правая) скобка. Отметим, что, в отличие от

предложений в секции вашей программы clauses, декларация предиката не за-

вершается точкой. Типами аргументов предиката могут быть либо стандартные

домены, либо домены, объявленные вами в секции domains.