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

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

Введение. 3
Глава 1. Общие сведения. 6
1.1 Чистый Пролог. 6
1.2. Сравнение с традиционными языками 7
программирования 7
Глава 2. Программирование на чистом Прологе. 8
2.1 Порядок правил. 8
2.2. Проблема завершения программ. 9
2.3. Порядок целей. 9
2.4. Избыточные решения. 10
Глава 3. Практические рекомендации. 10
3.1 Эффективность программ на Прологе. 11
3.2. Разработка программ. 12
Глава 4. Другие языки логического программирования. 14
4.1 Язык логического программирования KL0. 14
4.2 Типы данных KL0. 14
4.3. Язык программирования ShapeUp. 15
Заключение. 16
Список Литературы 17