Poplog — это отражающая , инкрементно компилируемая среда разработки компьютерного программирования и системная платформа для разработки программного обеспечения для языков программирования POP-11 , Common Lisp , Prolog и Standard ML . Первоначально он был создан в Великобритании для преподавания и исследований в области искусственного интеллекта , в Университете Сассекса , а позже продавался как коммерческий пакет для разработки программного обеспечения, обучения и исследований. Это была одна из инициатив, какое-то время поддерживаемая программой Алви , финансируемой правительством Великобритании .
Первоначально оно лицензировалось с 1982 по 1999 год как проприетарное программное обеспечение , а затем было выпущено в 1999 году как программное обеспечение с открытым исходным кодом под сочетанием лицензий MIT , а затем XFree86 .
После того, как к реализации POP-11 был добавлен инкрементальный компилятор для Пролога , было принято название POPLOG, чтобы отразить, что расширенная система поддерживает программирование на обоих языках. Название было сохранено как торговая марка Университета Сассекса , когда позже (середина 1980-х годов) система была расширена инкрементными компиляторами для Common Lisp и Standard ML на основе набора инструментов для реализации новых языков в виртуальной машине Poplog. [1] Доступные пользователю инструменты инкрементного компилятора, которые позволяют добавлять компиляторы для всех этих языков, также позволяют создавать расширения внутри языка, предоставляя новые возможности, которые нельзя добавить с помощью стандартных макросов, которые просто позволяют новому тексту быть эквивалентным более длинная часть старого текста.
В течение некоторого времени после 1983 года Poplog продавался и поддерживался на международном уровне как коммерческий продукт от имени Университета Сассекса компанией Systems Designers Ltd (SDL), название которой менялось по мере смены владельца. Основная работа по разработке продолжала выполняться небольшой командой в Университете Сассекса до 1998 года, в то время как маркетинг, продажи и поддержка (за исключением академических пользователей из Великобритании, которые имели дело непосредственно с командой Сассекса) выполнялись SDL и ее преемниками (SD, затем SD-Scicon, затем Electronic Data Systems (EDS) [2] ) до 1991 года. В то время в результате выкупа менеджментом была создана дочерняя компания Integral Solutions Ltd (ISL), которая занималась продажей и поддержкой Poplog в сотрудничестве с Университетом Сассекса. которые сохранили за собой права на название «Poplog» и отвечали за разработку основного программного обеспечения, пока оно было коммерческим продуктом. В 1992 году ISL и Университет Сассекса выиграли «Smart Award» в знак признания продаж Poplog на сумму 5 миллионов долларов. [3] ISL и ее клиенты использовали Poplog для многих проектов разработки, особенно для системы интеллектуального анализа данных ISL Clementine, в основном реализованной в POP-11, с использованием мощных графических инструментов, реализованных также в POP-11, работающей в системе X Window . Clementine добилась такого успеха, что в 1998 году ISL была куплена компанией SPSS Inc, которая продавала пакет статистики и интеллектуального анализа данных SPSS , для которого им требовался лучший графический интерфейс, подходящий как для опытных, так и для неопытных пользователей. SPSS не хотел продавать и поддерживать Poplog как таковой, поэтому Poplog затем стал доступен как бесплатный пакет программного обеспечения с открытым исходным кодом , [4] размещенный в Университете Бирмингема , который также участвовал в разработке после 1991 года. Позже IBM купила SPSS и Clementine теперь продается и поддерживается как SPSS Modeler . [5]
Основной язык Poplog — POP-11 . Он используется для реализации других языков, все они инкрементно компилируются , со встроенным общим редактором. В версиях Linux/Unix POP-11 обеспечивает поддержку двухмерной графики через X.
Poplog поддерживает инкрементально скомпилированные версии Common Lisp , POP-11 , Prolog и Standard ML . Отдельный пакет, реализованный Робином Попплстоуном, поддерживает версию Scheme .
Poplog использовался как для академических исследований и преподавания в области искусственного интеллекта, так и для разработки нескольких коммерческих продуктов, помимо Clementine. В 1992 году ISL и Университет Сассекса получили награду ICP в миллион долларов в знак признания того, что продажи Poplog превысили 5 миллионов долларов США. [6]
POP-11 был впервые реализован на компьютере DEC PDP-11 в 1976 году и портирован на VAX / VMS в 1980 году. Он стал Poplog примерно в 1982 году. Хотя первые коммерческие продажи были для VAX/VMS, с середины 1980-х годов основная работа по разработке Poplog велась на компьютерах Sun SPARC под управлением Solaris , хотя было продано несколько различных версий, включая версии для HP-UX и 64-битную версию Poplog для DEC Alpha под управлением Digital UNIX . Примерно после 1999 года, когда Poplog стал доступен как бесплатный с открытым исходным кодом, большая часть работ по разработке была выполнена над версией Linux, включая портирование на 64-битную версию Linux. Частичный порт на Mac OS X на PowerPC был выполнен в 2005 году.
Существует версия для Windows , изначально разработанная для поддержки Clementine, но графическая подсистема Unix/Linux не работает в Windows Poplog. Версия Clementine для Windows зависела от коммерческого пакета, поддерживающего функциональность X в Windows.
Существует также проект с открытым исходным кодом [7] , целью которого было создание более платформонезависимой версии Poplog, включая Windows. Самая последняя разработка этого проекта включает компонент веб-сервера для интеграции с приложениями Poplog и коллекцию виджетов OpenPoplog для поддержки клиентских пользовательских интерфейсов, работающих в веб-браузере. Более узконаправленный проект Poplog с открытым исходным кодом, ограниченный 64-битной архитектурой AMD64/X86-64, был создан на GitHub Вальдеком Хебишом: [1]. Сейчас это основа 16-й версии Poplog, размещенной в Университете Бирмингема [2].
Дополнительную информацию об истории и особенностях Poplog можно найти в записях для POP-2 и POP-11 . Главным архитектором Poplog, ответственным за многие инновации, связанные с созданием переносимой системы с инкрементальной компиляцией и обеспечением поддержки набора языков, был Джон Гибсон из Университета Сассекса, хотя самая ранняя работа была выполнена Стивом Харди. Крис Меллиш помог с первоначальной реализацией Пролога в POP-11. Джон Уильямс, работавший под руководством Джонатана Каннингема, реализовал подсистему Common Lisp. Роберт Дункан и Саймон Николс добавили Standard ML. Примерно между 1980 и 1991 годами проектом руководил Аарон Сломан , пока он не перешёл в Бирмингемский университет , хотя после этого он продолжал сотрудничать с Сассексом и ISL над разработкой Poplog. С 1999 года он отвечал за основной веб-сайт Poplog, а также за некоторые расширения, которые там можно найти, перечисленные в POP-11.
Подмножество Poplog Prolog реализовано с использованием расширяемого инкрементного компилятора POP-11 , основного языка Poplog, который представляет собой Lisp-подобный язык общего назначения с более традиционным синтаксисом. Реализация потребовала расширения виртуальной машины Poplog для обеспечения поддержки продолжений Пролога, переменных Пролога, следа Пролога (запись невыполнимых привязок переменных) и терминов Пролога. Реализация была ограничена необходимостью разрешить совместное использование структур данных с другими языками Poplog, особенно POP-11 и Common Lisp , тем самым обеспечивая поддержку смеси стилей программирования.