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

• Лисак Наталія Володимирівна (технічні науки)
• Суприган Олена Іванівна (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"