Предикаты | MetodPro.ru

Реклама на сайте

Предикаты


В языке РЛИ их 3:

1)    Предикат проверки двух выражений на равенство (EQUAL)

<равенство>::’(‘ EQUAL < s-выражения > < s-выражения > ‘)’

2)    Предикат, проверяющий является ли s-выражения атомом.

<проверка на атом>:: ‘(‘ ATOM < s-выражения > ‘)’

3)    Предикат, который выполняется только над числами – операция меньше или равно LEQ

<меньше или равно>::’(‘ LEQ < s-выражения > < s-выражения > ‘)’

Все предикаты в качестве результата возвращают константу true или false.



Методические пособия

  • Системы автоматизированного проектирования
  • Социология молодёжи
  • Общая социология
  • Криптография
  • Проектирование трансляторов
  • Компьютерная графика
  • Моделирование систем
  • Информационная безопасность
  • Теория вычислительных процессов
  • Логические основы искусственного интелекта
  • Проектирование распределённых информационных систем