Що таке предикат у пролозі?

Сукупність процедур з однаковим ім'ям та арністю називається предикатом. Кожен предикат у мові ПРОЛОГ ідентифікується двома параметрами – ім'ям та арністю – кількістю параметрів.