Planner | |
---|---|
Парадигма | Логічне програмування |
Дата появи | 1969 |
Творці | Карл Хьюїт[en] |
Діалекти | Ether |
Вплинула на | QA-4, Popler, Conniver і QLISP |
Planner (іноді записується великими літерами як PLANNER, в радянській літературі також застосовувалося транслітероване Пле́нер) — функційно-логічна мова програмування, схожа за своїм синтаксисом з Ліспом.
Була розроблена Карлом Хьюїтом[en] в Лабораторії Штучного Інтелекту Массачусетського Технологічного Інституту. Перша публікація з описом мови з'явилася 1969 року (Hewitt, 1969).
Planner — перша мова логічного програмування, в якій було закладено можливість автоматичного виведення результату з даних і заданих правил перебору варіантів (сукупність яких називалася планом). Planner застосовувалася для того, щоби знизити вимоги до обчислювальних ресурсів (за допомогою методу пошуку з вертанням) і забезпечити можливість виведення фактів, без активного застосування стека. Потім було розроблено мову Prolog, яка не вимагала плану перебору варіантів, і була в цьому сенсі спрощенням мови Planner. Зараз Planner дуже нагадує єдинорога: ми багато про неї знаємо, але вона ніколи не існувала. Інакше кажучи, мова програмування Planner ще ніде ніколи не використовувалася. Тим не менше, ідеї, покладені в основу мови Planner, виявились дуже продуктивними, і було створено й випробувано декілька варіантів і фрагментів цієї мови. Одним з найвідоміших виявився MICRO-PLANNER.
Незважаючи на те, що мову так і не було, судячи з усього, реалізовано в повному обсязі, її вплив на дослідження, пов'язані зі штучним інтелектом, виявився багато в чому визначним.