Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!emory!gatech!bloom-beacon!eru!hagbard!sunic!mcsun!ukc!icdoc!syma!aarons
From: aarons@syma.sussex.ac.uk (Aaron Sloman)
Newsgroups: comp.lang.prolog
Subject: Re: Prolog for UNIX ?
Message-ID: <4799@syma.sussex.ac.uk>
Date: 5 Apr 91 07:31:37 GMT
References: <1991Mar28.183655.19544@lonex.radc.af.mil> <1991Apr2.064040.16354@sics.se>
Organization: School of Cognitive & Computing Sciences, Sussex Univ. UK
Lines: 83

roland@sics.se (Roland Karlsson) writes:

> Date: 2 Apr 91 06:40:40 GMT
> Organization: Swedish Institute of Computer Science, Kista
> In-Reply-To: maceraa@lonex.radc.af.mil's message of 28 Mar 91 18: 36:55 GMT
>
> There are several.
>
> Both Quintus Prolog and BIM Prolog are two good examples of
> commercial products.
>
> You can also get SICStus Prolog.  It is a fast portable Prolog.
> You can get it with either a commercial or a research license.  The
> research license cost is, more or less, just a handling fee.  If you
> are interested then you can contact 'birgitta@sics.se'.

There's also Poplog prolog, included in the Poplog system, which
provides incremental compilers for Prolog, Standard ML, Common Lisp
and Pop-11 (a language with similar functionality to common lisp but
a more redundant pascal-like syntax and some other differences).
Poplog comes with an integrated editor (including "compile from
marked range") and a large collection of teaching and documentation
files, plus libraries in source code. Users can add portable
incremental compilers for additional languages using Poplog's
compiler-building tools.


Version 14 Poplog, recently released, provides a general X11R4
interface allowing X widget sets (e.g. Athena, Open Look, and from
V14.1 also Motif) to be dynamically linked (or unlinked).

The full X facilities currently work on Suns, SPARC systems and HP
9000/300 series workstations, but are being ported to other existing
Poplog platforms, VAX ultrix, DECstation ultrix, Sequent Symmetry.

Poplog is not free. Commercial prices start around 7,500 pounds
(UK), with approx 85% discount (or more) for academics outside the
UK and larger discounts for academics in the UK, who get it direct
from the developers, Sussex University.

Contact addresses:

For UK academic sales ONLY (prices from 600 pounds):

    Ms Alison Mudd
    School of Cognitive and Computing Sciences
    University of Sussex
    Brighton, BN1 9QN           phone: 0273-678116
                                email: alim@uk.ac.sussex.cogs


US and Canada Contact addresses for POPLOG:

    Prof Robin Popplestone
    Dept. of Computer and Information Science
    Lederle Graduate Research Center
    University of Massachusetts
    Amherst, MA  01003, USA

Email pop@cs.umass.edu

or
    Prof Robin Popplestone
    Computable Functions Inc.,
    35 South Orchard Drive,
    Amherst, MA 01002, USA      Phone(413) 253-7637


All other sales (including educational sales outside UK, Canada and USA)

    Integral Solutions Ltd
    Unit 3, Campbell Court
    Bramley,
    Near Basingstoke,
    Hampshire,
    RG26 5EG
    England
    Phone   +44 256 882028     Fax +44 256 882182

    email isl@integ.uucp

ISL provide full commercial support for Poplog, and they also sell
BIM Prolog in the UK.