Об’єктно-орієнтоване розширення Прологу, Різне, Програмування, статті

З безлічі промислових об’єктно-орієнтованих розширень мов (Object oriented extensions to languages), яких зараз створюється все більше і більше, одним з найцікавіших є Prolog + +, об’єктно-орієнтована версія Прологу, створена Logic Programming Associates (LPA). LPA давно знаходиться в числі основних постачальників Прологу і має версії мови як для PC, так і для Macintosh.

У даній статті розглядається MacObject, версія Prolog + + для Macintosh. MacObject використовується разом з MacProlog 3.1. Отже, що ж пропонує Prolog + + такого, чого не можуть запропонувати інші об’єктно-орієнтовані середовища, і як об’єктно-орієнтоване розширення вписується в мову, заснований на правилах? Prolog і Prolog + +

Пролог – це мова, призначена для пошуку рішень. Це декларативний мову, тобто формальне визначення (постановка) завдання може бути використано для її вирішення. Пролог визначає логічні відносини в задачі, як відмінні від покрокового рішення цієї задачі.

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

Схожі статті:


Сподобалася стаття? Ви можете залишити відгук або підписатися на RSS , щоб автоматично отримувати інформацію про нові статтях.

Коментарів поки що немає.

Ваш отзыв

Поділ на параграфи відбувається автоматично, адреса електронної пошти ніколи не буде опублікований, допустимий HTML: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>

*

*