Предикат – это выражение, возвращающее логическое значение (истина или ложь) для заданных аргументов. Примеры: 'x > 5', 'чётное(x)', 'между(x, y, z)'. Применяется от программирования до ИИ