Мета викладання дисципліни - вивчення основ логічного програмування та використання прийомів розробки програм з використанням мови програмування Prolog.

Внаслідок вивчення дисципліни студенти повинні:

мати уявлення

- про підходи до рішення задач логічного програмування, про питання представлення даних для вирішення задач логічного програмування, про прийоми розробки програм із застосуванням декларативних мов програмування;

- отримати практичні навики представлення даних та методів їх обробки для вирішення поставленої задачі;

- освоїти базові навики програмування на мові Prolog.

знати:

- базові поняття і визначення, які використовуються в логічному програмуванні;

- методи і рівні подання даних, способи обробки і зберігання даних;

- основи технології програмування, які використовуються в сучасних декларативних мовах.

вміти:

- орієнтуватися в сучасних мовах логічного програмування, їх можливостях;

- розробляти і тестувати програми на мові Prolog;

- використовувати спеціальну літературу.