Eзици за функционално и логическо програмиране

Формат 16/60х84
Заглавие: Езици за функционално и логическо програмиране
Автор: Александър Геров, Теодоси Теодосиев
Анотация: Учебното пособие разглежда два езика, типични представители на групата на дескриптивните езици в програмирането. В първата част е разгледан функционалния стил чрез най-популарния му представител - LISP. Втората част е посветена на езика за програмиране PROLOG, представител на логическото програмиране.

Съдържание:

Предговор

Част I

1.  Изкуствен интелект и езици за програмиране. Изкуствен интелект-определения. Инструментални средства.

2. Функционални езици за програмиране. Императивни и дескриптивни езици. Представяне на данните. Чисто функционални езици.

3. Обща характеристика на езика ЛИСП. Атоми. S-изрази. Списъци. Функции и изрази в ЛИСП. Функциите CAR и CDR. Функцията CONS. Функцията SETQ. Апликативност и функционалност.

4. Функции предикати и условни изрази. Функцията NULL?. Функцията АТОМ?. Функцията EQ?. Функции за условие COND и IF.

5. Структура на програмите. Обща структура на програмите в ЛИСП. Функцията QUOTE. Функцията APPEND. Функцията LIST. Функцията EVAL. Функцията REVERSE.

6. Дефиниране на функции. Локални и глобални променливи. Дефиниране на функции в ЛИСП. Рекурсия. Обща схема на рекурсивна дефиниция на функция.

7. Някои други функции в ЛИСП. Процедурни средства в езика. Аритметика в ЛИСП. Аритметични функции. Числени предикати. Програмиране на аритметични изрази. Логически функции.

8. Функции, предизвикващи изпълнение на други функции. Функцията APPLY. Функционали. Функцията MAPCAR.

9. Работа с р-списъци. Функцията PUTPROP. Функцията GETPROP. Функцията REMPROP. Асоциативни списъци. Функцията ASSOC.

10. Функции за вход и изход. Функцията READ. Функцията PRINT. Други функции.

11. Прилагане на езика ЛИСП за търсене по образец. Списъчно представяне на образеца. Функцията MATCH за сравняване на факта с образеца.

Решения на някои задачи от част I

Част II

12.Езици за логическо програмиране.

13. Обща характеристика на езика ПРОЛОГ. Теоретичен модел. Клаузна форма. Клаузи на Хорн. Метод на резолюцията.

14. Основни елементи в езика ПРОЛОГ. Факти. Въпроси. Променливи. Последователност от цели (конюнкции). Правила. Механизъм за възврат. Рекурсия.

15. Синтаксис на езика ПРОЛОГ. Синтаксис на терм. Синтаксис на програма.

16. Оператори. Дефиниране на оператори. Аритметични оператори. Отношения между аритметични оператори. Сравняване на термове.

17. Вградени предикати. Предикати за определяне на вида на терм. Предикати за вход и изход. Управляващи предикати. Предикати за работа с термове. Предикати за работа с базата от данни.

18. Работа със списъци. Списъци. Унификация на списъци. Основни операции над списъци.

19.Прилагане на езика ПРОЛОГ за символно диференциране

Решения на някои задачи от част II

5

7

11

14

39

50

62

76

93

98

106

109

115

127

130

144

157

164

172

193

204

207