Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

Основные примитивы Лиспа для обработки списка.

Косвенная рекурсия, пример | Реализация рекурсивного вызова, функция трассировки в Лиспе | Применяющий функционал Лиспа | Генератор в программировании, понятие вычислительного контекста | Теория Тьюринга, значение для логического программирования. | Сопоставление в логическом программировании | Переменная, конкретизация переменных | Процедура вывода решения, как процедура доказательства теоремы | Определение оператора и его свойства. | Запись списка в виде структуры |


Читайте также:
  1. I. Определение символизма и его основные черты
  2. I. ОСНОВНЫЕ ЗАДАЧИ ВНЕШНЕЙ ПОЛИТИКИ
  3. I. Основные принципы
  4. I.I.5. Эволюция и проблемы развития мировой валютно-финансовой системы. Возникновение, становление, основные этапы и закономерности развития.
  5. II. МЕТОДИКА ОБРАБОТКИ ДАННЫХ СЕЙСМОКАРОТАЖА
  6. III. Основные права и обязанности Обучающихся
  7. III. Основные права и обязанности Работников.

Список - структура, которая либо пуста, либо состоит из 2-х элементов: головы и хвоста.

Хвост - обязательно является списком.

Примитивы работы со списками.

(car список) -> S-выражение

(cdr список) -> список

(cons s-выр список) -> список

(cons s-выр s-выражение) -> точечная пара

>(car '(A B C))

A

>(car '((A B) C)

(A B)

>(cdr '((a b) c d)

(c d)

>(cdr '(A))

NIL

>(cons '(1 2) '(3 4))

((1 2) 3 4)

Графическое представление списка.

Графическое представление списка основано на представлении списочной ячейки, состоящей из 2-х полей.1ая половина указывает на голову, 2ая на хвост. Из цепочки ячеек можно составить одноуровневый список.

(atom s-выр) -> T/NIL

>(atom x)

nil

>(atom 'x)

T

(NULL список) -> T(если список явл. пустым)

 

Принципы работы с памятью функциональной и логической программы

В функциональном и логическом программировании имеющиеся в памяти структуры не разрушаются. Функциональная программа генерирует новые структуры из уже имеющихся методом анализа и синтеза.

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

 


Дата добавления: 2015-07-19; просмотров: 112 | Нарушение авторских прав


<== предыдущая страница | следующая страница ==>
Основные задачи для функционального и логического программирования.| Рекурсия по аргументу, пример

mybiblioteka.su - 2015-2024 год. (0.007 сек.)