Poplog

Poplog
Original author(s)Robin Popplestone, Steve Hardy, Chris Mellish, Aaron Sloman, John Williams, Robert Duncan, Simon Nichols, John Gibson
Developer(s)University of Sussex
Systems Designers Ltd.
Integral Solutions Ltd.
University of Birmingham
Initial release1982; 42 years ago (1982)
Stable release
16 / January 2020; 4 years ago (2020-01)
Repositorygetpoplog.github.io
Written inPOP-11
Operating systemCross-platform: VMS, Unix, Linux, Mac OS X, Windows
PlatformVAX, SPARC, IA-32, PowerPC, x86-64
Size17+ MB
Available inEnglish
TypeIDE
LicenseProprietary (1982–1999)
Open-source (1999–present): MITXFree86
Websitewww.cs.bham.ac.uk/research/projects/poplog/poplog.info.html

Poplog is a reflective, incrementally compiled software development computer programming integrated development environment and system platform for the programming languages POP-11, Common Lisp, Prolog, and Standard ML. It was created originally in the United Kingdom for teaching and research in artificial intelligence, at the University of Sussex, and later marketed as a commercial package for software development, teaching, and research. It was one of the initiatives supported for a time by the UK government-funded Alvey Programme.

It was licensed originally from 1982 to 1999, as proprietary software, then released in 1999 as open-source software, under a mix of MIT and then XFree86 licenses.

History

After an incremental compiler for Prolog had been added to an implementation of POP-11, the name POPLOG was adopted, to reflect that the expanded system supported programming in both languages. The name was retained, as a trade mark of the University of Sussex, when the system was later (mid 1980s) extended with incremental compilers for Common Lisp and Standard ML based on a set of tools for implementing new languages in the Poplog Virtual Machine.[1] The user-accessible incremental-compiler tools that allow compilers for all these languages to be added also allow extensions to be made within a language to provide new abilities that cannot be added via standard macros that merely allow new text to be equivalent to a longer portion of old text.

For some time after 1983, Poplog was sold and supported internationally as a commercial product, on behalf of the University of Sussex by Systems Designers Ltd (SDL), whose name changed as ownership changed. The main development work continued to be done by a small team at Sussex University until 1998, while marketing, sales, and support (except for UK academic users, who dealt directly with the Sussex team) was done by SDL and its successors (SD, then SD-Scicon then Electronic Data Systems (EDS)[2]) until 1991. At that time a management buy-out produced a spin-off company Integral Solutions Ltd (ISL), to sell and support Poplog in collaboration with Sussex University, who retained the rights to the name 'Poplog' and were responsible for the core software development while it was a commercial product. In 1992 ISL and Sussex University won a "Smart Award" in recognition of Poplog sales worth $5M.[3] ISL and its clients used Poplog for many development projects, especially ISL's data-mining system Clementine, mostly implemented in POP-11, using powerful graphical tools implemented also in POP-11 running on the X Window System. Clementine was so successful that in 1998 ISL was bought by SPSS Inc who had been selling the statistics and data-mining package SPSS for which they needed a better graphical interface suited to expert and non-expert users. SPSS did not wish to sell and support Poplog as such, so Poplog then became available as a free open source software package,[4] hosted at the University of Birmingham, which had also been involved in development after 1991. Later IBM bought SPSS and Clementine is now marketed and supported as SPSS Modeler.[5]

Supported languages

Poplog's core language is POP-11. It is used to implement the other languages, all of them incrementally compiled, with an integrated common editor. In the Linux/Unix versions, POP-11 provides support for 2-D graphics via X.

Poplog supports incrementally compiled versions of Common Lisp, POP-11, Prolog, and Standard ML. A separate package implemented by Robin Popplestone supports a version of Scheme.

Poplog has been used both for academic research and teaching in artificial intelligence and also to develop several commercial products, apart from Clementine. In 1992, ISL and Sussex University won an ICP Million Dollar award in recognition of Poplog exceeding sales of US$5 million.[6]

Platforms

POP-11 was at first implemented on a DEC PDP-11 computer in 1976, and was ported to VAX/VMS in 1980. It became Poplog around 1982. Although the first commercial sales were for VAX/VMS, from the mid-1980s, the main Poplog development work was done on Sun SPARC computers running Solaris, although several different versions were sold, including versions for HP-UX and a 64-bit version of Poplog for DEC Alpha running Digital UNIX. After about 1999, when Poplog became available as free, open source, most development work was done on the Linux version, including porting to 64-bit Linux. A partial port to Mac OS X on PowerPC was done in 2005.

There is a version for Windows, originally developed to support Clementine, but the Unix/Linux graphical subsystem does not work on Windows Poplog. The Windows version of Clementine depended on a commercial package that supported X functionality on Windows.

There is also an open source project[7] which aimed to produce a more platform neutral version of Poplog, including Windows. The most recent development by this project includes a web server component for integrating into Poplog applications, and the OpenPoplog Widget Collection for supporting client user interfaces running in a web browser. A more narrowly focused open source Poplog project, restricted to the 64-bit AMD64/X86-64 architecture was set up on GitHub by Waldek Hebisch: [1]. This is now the basis of Poplog Version 16 hosted at the University of Birmingham [2].

Additional information about the history and features of Poplog can be found in the entries for POP-2 and POP-11. The chief architect of Poplog, responsible for many innovations related to making an incrementally compiled system portable, and providing support for a collection of languages was John Gibson, at Sussex University, though the earliest work was done by Steve Hardy. Chris Mellish helped with the initial Prolog implementation in POP-11. John Williams, working under supervision of Jonathan Cunningham implemented the Common Lisp subsystem. Robert Duncan and Simon Nichols added Standard ML. Between about 1980 and 1991, the project was managed by Aaron Sloman, until he went to the University of Birmingham, though he continued to collaborate with Sussex and ISL on Poplog development after that. Since 1999, he has been responsible for the main Poplog web site, as well as some of the extensions to be found there, listed under POP-11.

Implementation

The Prolog subset of Poplog is implemented using the extendable incremental compiler of POP-11, the core language of Poplog, which is a general purpose Lisp-like language with a more conventional syntax. The implementation required the Poplog Virtual Machine to be extended to provide support for Prolog continuations, Prolog variables, the Prolog trail (recording undoable variable bindings), and Prolog terms. The implementation was constrained by the need to allow data-structures to be shared with the other Poplog languages, especially POP-11 and Common Lisp, thereby providing support for a mixture of programming styles.

References

  1. ^ Smith, Robert; Sloman, Aaron; Gibson, John (1992). "Poplog's two-level virtual machine support for interactive languages". In Sleeman, D.; Bernsen, N. (eds.). Research Directions in Cognitive Science Volume 5: Artificial Intelligence. Lawrence Erlbaum Associates. pp. 203–231.
  2. ^ "Company News: Electronic Data Wins in Offer for SD-Scicon". The New York Times. 17 August 1991.
  3. ^ http://www.cs.bham.ac.uk/research/projects/poplog/figs/jpg/smart-poplog-5million.jpg [bare URL image file]
  4. ^ The Free Poplog Portal
  5. ^ Khabaza, Tom. (1999). The Story of Clementine
  6. ^ See page 3 of the May 20 1992 Sussex University Bulletin
  7. ^ OpenPoplog

External links

  • Official website, Free Poplog Portal
  • GetPoplog on GitHub
  • The online Poplog Eliza
  • Photo of ICP award Plaque
  • Details also available here: [3]
  • v
  • t
  • e
POP programming
Software
Programming languages
Integrated development environment
  • Poplog° (1982)
Data mining tool
Designers
  • Italics = discontinued
  • ° = Open-source software
    Category:Lisp programming languages Category:Integrated development environments
  • v
  • t
  • e
Lisp programming language
Features
Object systems
Implementations
Standardized
Common
Lisp
Scheme
ISLISP
Unstandardized
Logo
POP
Operating system
Hardware
Community
of practice
Technical standards
Education
Books
Curriculum
Organizations
Business
Education
People
Common Lisp
Scheme
Logo
POP
List Books Commons Category Category
  • v
  • t
  • e
Implementations
Software
Libraries
Applications
Development
environments
Publications
Design committee
People
Other
  • v
  • t
  • e
ML programming
Software
Implementations,
dialects
Caml
Standard ML
Dependent ML
  • ATS°
Programming tools
  • Alt-Ergo°
  • Astrée
  • Camlp4°
  • FFTW°
  • Frama-C°
  • Haxe°
  • Marionnet°
  • MTASC°
  • Poplog°
  • Semgrep°
  • SLAM project
  • Theorem provers,
    proof assistants
    Community
    Designers
  • Lennart Augustsson (Lazy ML)
  • Damien Doligez (OCaml)
  • Gérard Huet (Caml)
  • Xavier Leroy (Caml, OCaml)
  • Robin Milner (ML)
  • Don Sannella (Extended ML)
  • Don Syme (F#)
  • Italics = discontinued
  • ° = Open-source software
    Book Category:Family:ML Category:Family:OCaml Category:Software:OCaml
    • v
    • t
    • e
    C, C++
    Open source
    Freeware
    Retail
    Discontinued
    Java
    Open source
    Freeware
    Retail
    Discontinued
    JavaScript
    Open source
    CLI (.NET)
    Open source
    Freeware
    Retail
    Discontinued
    Flash
    PHP
    Open source
    Proprietary
    R
    Python
    Open source
    Proprietary
    Pascal,
    Object Pascal
    Open source
    Freeware
    • Delphi Community
    Retail
    • Delphi
    Discontinued
    BASIC
    Open source
    Freeware
    Retail
    Discontinued
    Go
    Open source
    Freeware
    Retail
    Haxe
    POP-11
    • Poplog
    Online