Бойчура, М. В. та Сидор, А. І. (2024) ЛОГІЧНЕ ПРОГРАМУВАННЯ НА МОВІ PROLOG. НУВГП, Рівне. ISBN 978-966-327-590-1

Text 1БойчураМВ СидорАІ. Посібник ЛіФП_випр.pdf Download(716kB)

Анотація

Навчальний посібник присвячений вивченню концепції декларативного програмування на прикладі мови логічного програмування Prolog. Обґрунтовано вибір саме цієї мови, викладено її синтаксис, що включає структуру програми, принципи побудови складених правил, складених доменів, доменів з альтернативами, різні види повторюваних обчислень (включаючи рекурсію), списки та рядки. Посібник характеризується великою кількістю прикладів програмних кодів стосовно викладених тем, а також детальним роз’ясненням ходу обчислень. Окрім того наведено контрольні запитання до кожного з розділів. Посібник призначений для студентів-магістрів спеціальності 123 «Комп’ютерна інженерія» у межах першого модуля курсу Логічне та функціональне програмування. Може бути корисним у вивченні концепції декларативного програмування й іншими особами при реалізації задач штучного інтелекту.

Перегляд елементу

Завантажень