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

Целью своей курсовой работы я поставил узнать: что же такое декларативное программирование, в чём заключается его особенности, какие языки созданы на основе декларативного программирования, и сравнить декларативное программирование с противоположным – императивным программированием.
Логическое программирование – это декларативный стиль программирования, где программист говорит, что он хочет вычислить, но не указывает явно, как это вычислить.

Введение 3.
Основная часть 5.
2.1 Глава 1. 5.
2.2 Глава 2. 21.
Заключение 24.
Список используемой литературы 26.