HELP POPSYSTEMS                                   Steve Knight, Jan 1989

This file maintained by Plug (see HELP * PLUG).

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 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. ----------
