Пролог; вопрос о нотации в задании

Question

Я понимаю, что isa / 2 - это правило, которое принимает два объекта или условия.Но что подразумевает isa2 / 2?То есть Иса определяется дважды?

Answer 1

isa2/2 просто ссылается на предикат с именем isa2, принимающий 2 аргумента, т. Е. Первые 2 - это просто часть имени, а не специальная запись.