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

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