Poplog

Poplog es un entorno de desarrollo de software de código abierto, reflexivo y compilado incrementalmente para los lenguajes de programación POP-11, Common Lisp, Prolog y Standard ML, creado originalmente en el Reino Unido para la enseñanza y la investigación en Inteligencia Artificial en la Universidad de Sussex, y luego comercializado como un paquete comercial para el desarrollo de software, así como para la enseñanza y la investigación. Fue una de las iniciativas apoyadas durante un tiempo por el Programa Alvey financiado por el gobierno del Reino Unido.

Historia

Después de agregar un compilador incremental para Prolog a una implementación de POP-11, se adoptó el nombre POPLOG para reflejar el hecho de que el sistema ampliado admitía la programación en ambos lenguajes. El nombre se mantuvo, como marca comercial de la Universidad de Sussex, cuando el sistema se amplió más tarde (mediados de la década de 1980) con compiladores incrementales para Common Lisp y Standard ML basados en un conjunto de herramientas para implementar nuevos lenguajes en Poplog Virtual Machine. Las herramientas de compilación incremental accesibles para el usuario que permiten agregar compiladores para todos estos idiomas también permiten que se realicen extensiones dentro de un idioma para proporcionar nuevos poderes que no se pueden agregar usando macros estándar que simplemente permiten que el texto nuevo sea equivalente a una porción más larga. de texto antiguo.

Durante algún tiempo después de 1983, Poplog fue vendido y respaldado internacionalmente como un producto comercial, en nombre de la Universidad de Sussex por Systems Designers Ltd (SDL), cuyo nombre cambió cuando cambió la propiedad. El principal trabajo de desarrollo lo siguió realizando un pequeño equipo de la Universidad de Sussex hasta 1998, mientras que SDL y sus sucesores (SD, luego SD-Scicon luego EDS) hasta 1991. En ese momento, una compra por parte de la gerencia produjo una empresa spin-off Integral Solutions Ltd (ISL), para vender y respaldar a Poplog en colaboración con la Universidad de Sussex, que retuvo los derechos del nombre & #39;Polog' y fueron responsables del desarrollo del software central mientras era un producto comercial. En 1992, ISL y la Universidad de Sussex ganaron un "Premio inteligente" en reconocimiento a las ventas de Poplog por valor de 5 millones de dólares. ISL y sus clientes usaron Poplog para una serie de proyectos de desarrollo, especialmente el sistema de minería de datos Clementine de ISL, implementado principalmente en POP-11, utilizando poderosas herramientas gráficas implementadas también en POP-11 que se ejecutan en el sistema X Window. Clementine tuvo tanto éxito que en 1998 ISL fue comprada por SPSS Inc, que había estado vendiendo el paquete de estadísticas y minería de datos SPSS para el cual necesitaban una mejor interfaz gráfica adecuada para usuarios expertos y no expertos. SPSS no deseaba vender ni dar soporte a Poplog como tal, por lo que Poplog estuvo disponible como un paquete de software gratuito de código abierto, alojado en la Universidad de Birmingham, que también había estado involucrado en el desarrollo después de 1991. Más tarde, IBM compró SPSS y Clementine ahora es comercializado y soportado como SPSS Modeler.

Idiomas admitidos

El lenguaje principal de Poplog es POP-11. Se utiliza para implementar los otros lenguajes, todos ellos compilados incrementalmente, con un editor común integrado. En las versiones de Linux/Unix, POP-11 proporciona soporte para gráficos 2D a través de X.

Poplog admite versiones compiladas incrementalmente de Common Lisp, POP-11, Prolog y Standard ML. Un paquete separado implementado por Robin Popplestone admite una versión de Scheme.

Poplog se ha utilizado tanto para la investigación académica y la enseñanza de la inteligencia artificial como para desarrollar varios productos comerciales, además de Clementine. En 1992, ISL y la Universidad de Sussex ganaron un premio ICP Million Dollar en reconocimiento a que Poplog superó las ventas de US $ 5 millones.

Plataformas

POP-11 se implementó por primera vez en una computadora DEC PDP-11 en 1976 y se transfirió a VAX/VMS en 1980. Se convirtió en Poplog alrededor de 1982. Aunque las primeras ventas comerciales fueron para VAX/VMS, desde mediados -1980, el principal trabajo de desarrollo de Poplog se realizó en computadoras Sun SPARC con Solaris, aunque se vendieron varias versiones diferentes, incluidas versiones para HP-UX y una versión de 64 bits de Poplog para DEC Alpha con Digital UNIX. Después de aproximadamente 1999, cuando Poplog estuvo disponible como código abierto gratuito, la mayor parte del trabajo de desarrollo se realizó en la versión de Linux, incluida la migración a Linux de 64 bits. En 2005 se realizó un puerto parcial a Mac OS X en PowerPC.

Existe una versión para Windows, originalmente desarrollada para admitir Clementine, pero el subsistema gráfico Unix/Linux no funciona en Windows Poplog. La versión de Windows de Clementine dependía de un paquete comercial que admitía la funcionalidad X en Windows.

También hay un proyecto de código abierto cuyo objetivo es producir una versión de Poplog más neutral para la plataforma, incluido Windows. El desarrollo más reciente de este proyecto incluye un componente de servidor web para integrarse en aplicaciones Poplog y la colección de widgets OpenPoplog para admitir interfaces de usuario de clientes que se ejecutan en un navegador web. Waldek Hebisch configuró en GitHub un proyecto Poplog de código abierto con un enfoque más limitado, restringido a la arquitectura AMD64/X86-64 de 64 bits: [1]. Esta es ahora la base de la versión 16 de Poplog alojada en la Universidad de Birmingham [2].

Puede encontrar información adicional sobre el historial y las características de Poplog en las entradas para POP-2 y POP-11. El arquitecto principal de Poplog, responsable de muchas innovaciones relacionadas con la portabilidad de un sistema compilado incrementalmente y la prestación de soporte para una colección de idiomas, fue John Gibson, de la Universidad de Sussex, aunque el trabajo inicial lo realizó Steve Hardy. Chris Mellish ayudó con la implementación inicial de Prolog en POP-11. John Williams, trabajando bajo la supervisión de Jonathan Cunningham, implementó el subsistema Common Lisp. Robert Duncan y Simon Nichols agregaron Standard ML. Entre 1980 y 1991, el proyecto fue dirigido por Aaron Sloman, hasta que se fue a la Universidad de Birmingham, aunque después de eso continuó colaborando con Sussex e ISL en el desarrollo de Poplog. Desde 1999, ha sido responsable del sitio web principal de Poplog, así como de algunas de las extensiones que se encuentran allí, enumeradas bajo POP-11.

Implementación

El subconjunto Prolog de Poplog se implementa utilizando el compilador incremental extensible de POP-11, el lenguaje central de Poplog, que es un lenguaje similar a Lisp de propósito general con una sintaxis más convencional. La implementación requería que la máquina virtual de Poplog se extendiera para proporcionar soporte para las continuaciones de Prolog, las variables de Prolog, el trail de Prolog (grabación de enlaces de variables que se pueden deshacer) y los términos de Prolog. La implementación se vio limitada por la necesidad de permitir que las estructuras de datos se compartiesen con otros lenguajes de Poplog, especialmente POP-11 y Common Lisp, proporcionando así soporte para una combinación de estilos de programación.