У підручнику подано теоретичні основи та програмні і технічні засоби логічного та функціонального програмування, ефективні методи і алгоритми побудови програм як мовою логіки, так в термінах функціоналів, підходи до реалізації найчастіше вживаних логічних та функціональних прикладних програм.

Призначений для студентів, що навчаються за напрямом «Компп’ютерні науки», «Комп’ютерна інженерія», «Програмна інженерія», «Прикладна математика та інформатика», «Автоматика, кібернетика та обчислювальна техніка», а також може бути корисним для фахівців у галузі розроблення та застосування декларативних мов програмування стосовно прикладних задач штучного інтелекту.