Planner

Planner
ПарадигмаЛогічне програмування
Дата появи1969
ТворціКарл Хьюїт
ДіалектиEther
Вплинула наQA-4, Popler, Conniver і QLISP

Planner (іноді записується великими літерами як PLANNER, в радянській літературі також застосовувалося транслітероване Пле́нер) — функційно-логічна мова програмування, схожа за своїм синтаксисом з Ліспом.

Була розроблена Карлом Хьюїтом в Лабораторії Штучного Інтелекту Массачусетського Технологічного Інституту. Перша публікація з описом мови з'явилася 1969 року (Hewitt, 1969).

Planner — перша мова логічного програмування, в якій було закладено можливість автоматичного виведення результату з даних і заданих правил перебору варіантів (сукупність яких називалася планом). Planner застосовувалася для того, щоби знизити вимоги до обчислювальних ресурсів (за допомогою методу пошуку з вертанням) і забезпечити можливість виведення фактів, без активного застосування стека. Потім було розроблено мову Prolog, яка не вимагала плану перебору варіантів, і була в цьому сенсі спрощенням мови Planner. Зараз Planner дуже нагадує єдинорога: ми багато про неї знаємо, але вона ніколи не існувала. Інакше кажучи, мова програмування Planner ще ніде ніколи не використовувалася. Тим не менше, ідеї, покладені в основу мови Planner, виявились дуже продуктивними, і було створено й випробувано декілька варіантів і фрагментів цієї мови. Одним з найвідоміших виявився MICRO-PLANNER.

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


Planner

Dodaje.pl - Ogłoszenia lokalne