Prolog — це високорівнева мова програмування четвертого покоління. В основному він використовується в дослідженнях штучного інтелекту, додатках і програмному забезпеченні, і зазвичай зустрічається лише в експертних системах і дуже передових технологіях.
Це абревіатура від PROgramming in LOGic і є декларативною мовою. Це означає, що замість того, щоб вказувати комп’ютеру, які саме кроки слід виконати, програміст замість цього описує проблему, яку потрібно вирішити.
Technipages пояснює Prolog
За своєю суттю Prolog дуже нагадує мови запитів, які працюють з базами даних і в системах керування базами даних, таких як SQL. Однак є важлива відмінність – хоча мова запитів має інформацію, яку можна отримати, мова програмування її не має.
У SQL можна запитати базу даних «Чи Сьюзен Майєр старше 18 років?» за умови наявності інформації. У мові декларативного програмування це неможливо, але натомість можна розв’язувати математичні проблеми, описуючи їх детально.
Prolog особливо підходить для роботи з штучним інтелектом та обчислювальної лінгвістики. Вирази і код написані в термінах відносин, фактів, правил і стандартів. Потім виконується фактичне обчислення шляхом введення інформації, яка обробляється відповідно до цих стандартів.
Prolog також є найпопулярнішою мовою логічного програмування і існує з моменту її заснування в 1972 році. Логічні мови програмування спираються на чітко визначені правила, що робить їх дуже відмінними від об’єктно-орієнтованого програмування (тип мови, який часто використовується в програмному забезпеченні, орієнтованому на користувача).
Поширене використання Prolog
- Prolog — це скорочення від PROgramming in LOGic, і вперше був задуманий у 1972 році Аленом Колмерауером та його групою у Франції.
- Сьогодні Prolog дуже популярний у дослідженнях AI та додатках, які підтримують машинне навчання.
- У порівнянні з такими мовами, як PHP або Java, Prolog орієнтований на логіку, що означає, що він працює за допомогою точного набору правил, унікальних для кожної програми.
Поширені зловживання Prolog
- Пролог — це перший розділ будь-якого фрагмента коду.