HELP POPSYSTEMS                                   Steve Knight, Jan 1989
                                    Updated by Aaron Sloman, 11 Jul 1999

MUCH OF THE FILE BELOW IS NOW OUT OF DATE. IT IS RETAINED FOR HISTORICAL
INTEREST. FOR UP TO DATE INFORMATION SEE

    http://www.poplog.org
    ftp://ftp.cs.bham.ac.uk/pub/dist/poplog/poplog.info.html
    ftp://ftp.cs.bham.ac.uk/pub/dist/poplog/README


This file  lists Pop  implementations in  general and  also systems  and
libraries which can be added-in. Full addresses of organisations can  be
found via HELP  *POPCONTACTS. It is  based on  a list which  used to  be
maintained by the Poplog and Pop Languages User Group (see HELP  *PLUG).
Additions and corrections to  this list should be  directed to the  PLUG
secretary.

NB: this list is provided as a guide only: no guarantee is offered  that
the information given here is correct or up-to-date, and no liability is
accepted, by PLUG, Sussex University, Integral Solutions Ltd., or any of
the organisations  referred  to below,  in  respect of  the  information
contained herein.

 -- Alpha-Pop
 -- KEATS
 -- MUSE
 -- Poplog
 -- SOCRATES
 -- Standard ML

-- Alpha-Pop ----------------------------------------------------------

Currently the only Pop-11  implementation available on  micro-computers.
Corresponds very closely to Poplog  Pop-11 version 12.0. Currently  only
available on the Apple Macintosh. Soon  to be available on a variety  of
other machines.

Available from Cognitive Applications Ltd.

See also
    HELP *POPREFS

-- KEATS --------------------------------------------------------------

The Poplog KEATS project  provides a Pop-11  implementations of the  KDL
(frame-based  knowledge  description   language),  and  GIS   (graphical
interface system -  currently using  X-windows version  10.4). There  is
also a very approximate  VED-based re-implementation (more a  re-design)
of the KEATS  transcript browser CREF,  though we have  not had time  to
integrate it with the GIS.

Currently only available to academics on request from the University  of
Sussex.

-- MUSE ---------------------------------------------------------------

Available from Cambridge Consultants Ltd.

-- Poplog -------------------------------------------------------------

The most sophisticated and extensive Pop system currently available.  It
incorporates three  other language  systems aside  from POP-11.  Several
books based on this system  are now available.

Marketed commercially  by SD-Scicon Plc.
Academic distribution by the University of Sussex.

See also
    HELP *POPREFS.
    HELP *POPLOG

-- SOCRATES -----------------------------------------------------------

Available from SD-Scicon Plc.

-- Standard ML --------------------------------------------------------

An implementation  of  the  language standard  ML  within  Poplog.  Sold
independently of the main system.

Available from the University of Sussex.

--- C.all/help/popsystems
--- Copyright University of Sussex 1989. All rights reserved. ----------