Существительное
Слово происходит от Предикаты
В языке Пролог факты описываются в форме логических предикатов с конкретными значениями. Источник: Интернет
Так, например, имена всех без исключения предикатов оканчивались на вопросительный знак, «исторически сложившиеся» стандартные имена элементарных функций были заменены на мнемонические, соответствующие тому, что функция делает. Источник: Интернет
Областью истинности предиката является объединение областей истинности предикатов A(x) и B(x). Источник: Интернет
Также, наряду с предопределёнными предикатами, в заголовочном файле имеются отрицатели предикатов, которые вызывают предикат и возвращают результат обратный результату предиката. Источник: Интернет
Следовательно, они могут быть совместимы в одном субъекте (несовместимость предикатов доказывается только посредством разложения)" (16, VII, 261)*. Источник: Интернет
Поэтому лучшим способом доказательства возможности понятия является разложение его с помощью номинальных (т. е. промежуточных, "технических") определений вплоть до первичных предикатов. Источник: Интернет