Логическое программирование

Предикат

Символ отношения с фиксированной арностью, определяющий свойство или отношение между терминами в логических клаузах.

← Назад