Езици за функционално и логическо програмиране. Част 2: Логическо програмиране

Книгата включва двата най-разпространени езика за изкуствен интелект Lisp и Prolog. Структурирана е в две части.
Във втората част са представени основните елементи на логическото програмиране. Изложението се базира на езика Prolog и е структурирано в три части: теоретични основи на езика, основни конструкции за програмиране и приложения на езика. В изложението се акцентира върху изучаването на техники за програмиране на езика Prolog и овладяването на средата за програмиране Visual SWI Prolog 5.0.
Материалът е представен леснодостъпно и е богато илюстриран с програми.
Включени са също голям брой задачи за самостоятелна работа и теми за писмен изпит, а също така и решения на някои от задачите.
Книгата може да бъде полезна както на студенти, които изучават основите на функционалното програмиране, така и на ученици от математически гимназии, на математици, физици и инженери, професионалисти и любители информатици.