Если программист определяет в разделе clauses свой собственный предикат, то он ДОЛЖЕН объявить его в разделе predicates. Когда объявляется предикат, Турбо-Прологу сообщается о том, к каким доменам принадлежат аргументы этого предиката.
Предикаты определяются фактами и правилами. В разделе predicates программы просто перечисляется каждый предикат cо своими аргументами.
Имя предиката должно начинаться с буквы; после этой буквы могут следовать буквы, цифры и символы подчеркивания.
Величина букв значения не имеет, но все-таки не рекомендуется использовать в качестве первой буквы заглавную.