Инструменты пользователя

Инструменты сайта


examination:flp:question12

Предикат проверяет наличие некоторого свойства Чтобы осуществлять допустимые действия со списками и избежать ошибочных ситуаций, нам необходимы, кроме селектирующих и конструирующих функций, средства опознавания выражений. Функции, решающие эту задачу, в Лиспе называются предикатами (predicate).

Предикат - это функция, которая определяет, обладает ли аргумент определенным свойством и возвращает в качестве значения логическое значение «ложь», т.е. NIL, или «истина», которое может быть представлено символом Т или любым выражением, отличным от NIL. АТОМ и EQ являются базовыми предикатами Лиспа. С их помощью и используя другие базовые функции, можно задать более сложные предикаты, которые будут проверять наличие более сложных свойств.

examination/flp/question12.txt · Последние изменения: 2014/01/15 08:17 (внешнее изменение)