Современное логическое программирование на языке Visual Prolog 7.5. Учебник 116

Visual Prolog 7.5 — суворо типізований об'єктно-орієнтована мова, що базується на парадигмі логічного програмування. Visual Prolog може бути використаний як для викладання логічного програмування в вузах, так і в якості інструменту для створення великих 32/64-розрядних комерційних додатків під платформу Microsoft Windows.

У підручнику викладається повний комплект класичних і останніх інструментів логічного програмування, а також парадигми функціонального, узагальненого, імперативного і об'єктно-орієнтованого програмування, органічно ввійшли в Visual Prolog 7 .5. Аналізуються головні способи подання й обробки графів, дерев і масивів, інструменти професійного програмування . Наводяться приклади розробки символьних перетворювачів, калькуляторів, інтерпретаторів мов програмування , ігрових моделей і т . п.

Видання містить практикум з програмування та опис головних класів Visual Prolog.

Книга призначена для студентів, що вивчають логічне програмування, їх викладачів , а також для програмістів, що бажають ознайомитися з новими мовними засобами типізованого мови Visual Prolog . Всі базові парадигми мови викладаються з використанням консольних програм.