Предыдущая страница реферата | 1  2  3  4  5  6  7  8  9  10  11 | Следующая страница реферата

_(CONS (+ 1 2) ‘(+ 3)) ( (3 + 3)

_(CONS ‘(a b c) NIL) ( ((a b c))

_(CONS NIL ‘(a b c)) ( (NIL a b c)

Предикаты ATOM, EQ, EQL, EQUAL.

Предикат - функция, которая определяет, обладает ли аргумент определенным свойством, и возвращает в качестве значения NIL или T.

Предикат ATOM - проверяет, является ли аргумент атомом:

(ATOM s - выражение)

Значением вызова ATOM будет T, если аргументом является атом, и NIL - в противном случае.

_(ATOM ‘a) ( T

_(ATOM ‘(a b c)) ( NIL

_(ATOM NIL) ( T

_(ATOM ‘(NIL)) ( NIL

Предикат EQ сравнивает два символа и возвращает значение T, если они идентичны, в противном случае - NIL. С помощью EQ сравнивают только символы или константы T и NIL.

_(EQ ‘a ‘b) ( NIL

_(EQ ‘a (CAR ‘(a b c))) ( T

_(EQ NIL ()) ( T

Предикат EQL работает так же как и EQ, но дополнительно позволяет сравнивать однотипные числа.

_(EQL 2 2) ( T

_(EQL 2.0 2.0) ( T

_(EQL 2 2.0) ( NIL

Для сравнения чисел различных типов используют предикат «=».
Значением предиката «=» является T в случае равенства чисел независимо от их типов и внешнего вида записи.

(= 2 2.0) ( T

Предикат EQUAL проверяет идентичность записей. Он работает как EQL , но дополнительно проверяет одинаковость двух списков. Если внешняя структура двух лисповских объектов одинакова, то результатом EQUAL будет
T.

_(EQUAL ‘a ‘a) ( T

_(EQUAL ‘(a b c) ‘(a b c)) ( T

Рекомендуем скачать другие рефераты по теме: реферат личность, курсовая работа по менеджменту.



Предыдущая страница реферата | 1  2  3  4  5  6  7  8  9  10  11 | Следующая страница реферата

Поделитесь этой записью или добавьте в закладки