Створення штучного інтелекту було і є актуальним протягом багатьох років. Перша версія мови програмування Пролог була створена ще в 1983 році і вдосконалюється до сьогодення.
Останньою версією є Visual Prolog для Windows, який, на жаль, мені не довелось отримати з причин його не дуже широкого розповсюдження в нашій країні. Чому саме в нашій країні?
Тому що за кордоном, наприклад, в Сполучених Штатах Америки, Пролог викладають у багатьох вузах. Кожен рік там проводяться конференції з проблем штучного інтелекту, які у більшості присвячені експертним системам та нейромережам. Саме для створення експертних систем Пролог підходить якнайкраще.
Ідея використання логіки у мовах програмування виникла у початку 70-х років. Першими дослідниками, які розроблювали цю ідею, були Роберт Ковальський, Маартен ван Емден та Ален Колмерое з Единбургу. Своєю популярністю серед професіоналів створення штучного інтелекту Пролог зобов'язаний ефективною реалізацією цієї мови в Единбурзі Девідом Уорреном.
Існує безліч історично складених та протидіючих один одному поглядів на Пролог. Пролог швидко завоював популярність в Європі як практичний інструмент програмування. В Японії Пролог опинився у центрі розробки комп'ютерів нового покоління. З іншого боку, через визначені історичні факти, в США Пролог отримав визнання трохи пізніше. Один з цих факторів був пов'язаний з Мікропленнером, мовою, близькою до логічного програмування, але реалізованою неефективно. Цей негативний досвід, який відноситься до Мікропленнера, був невиправдано розповсюджений і на Пролог. Але пізніше після появи ефективної реалізації, запропонованої Девідом Уорреном, цей погляд було скасовано.
Комментариев нет:
Отправить комментарий