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

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

Введение 3
Глава 1. Что же представляют собой языки логического программирования? 6
1.1. Чистый Полог. 6
1.2. Сравнение с традиционными языками программирования. 8
1.3 Программирование на чистом Прологе. 9
1.3.1. Порядок правил. 10
1.3.2. Проблема завершения программ. 11
1.3.3. Порядок целей. 11
1.3.4. Избыточные решения. 12
1.4.Практические рекомендации. 13
1.4.1 Эффективность программ на Прологе. 13
1.4.2. Разработка программ. 15
1.5. Другие языки логического программирования. 18
1.5.1 Язык логического программирования KL0. 18
1.5.2 Типы данных KL0. 19
1.5.3. Язык программирования ShapeUp. 20
Глава 2. Lisp – язык функционального программирования. 21
2.1. Лисп в истории программирования. 22
2.2. Логическое программирование на Лиспе. 23
Заключение. 25
Список литературы 26