Ha
Hakan
Это не только в SWI Prolog, но и в других реализациях.
Имя_предиката/Арность_предиката
Арность (размерность) - количество аргументов, которые принимает предикат.
Например: mother/2 может иметь примерно такое объявление mother(person, person)