Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!cornell!uw-beaver!teknowledge-vaxc!sri-unix!quintus!ok
From: ok@quintus.uucp (Richard A. O'Keefe)
Newsgroups: comp.ai
Subject: Re: Prolog, etc.
Message-ID: <337@quintus.UUCP>
Date: 1 Sep 88 05:29:19 GMT
References: <17357@uflorida.cis.ufl.EDU> <1034@mtund.ATT.COM>
Sender: news@quintus.UUCP
Reply-To: ok@quintus.UUCP (Richard A. O'Keefe)
Organization: Quintus Computer Systems, Inc.
Lines: 29

In article <1034@mtund.ATT.COM> newton@mtund.ATT.COM (Newton Lee) writes:
>In article <17357@uflorida.cis.ufl.EDU>, fishwick@fish.cis.ufl.edu (Paul Fishwick) writes:
>> Does anyone know of a PD version of Prolog that will run under UNIX.
>> It must come with source since we would like to able to use it on
>> any UNIX machine (including Gould, SUN, VAX, etc.)? We currently have
>
>We use C-Prolog on our UNIX machines (VAX, MIPS, 3B20, UNIX PC, etc.)
>It is based on the Prolog system written in IMP by Luis Damas (and
>Lawrence Byrd) for the ICL 2900 computers.  For more info, contact
>Fernando Pereira, EdCAAD, Dept. of Architecture, University of Edinburgh.
>
>Newton Lee
>AT&T Bell Laboratories

C Prolog is not public domain and never has been.
Fernando hasn't been at EdCAAD for about five years; he is currently
at SRI Cambridge.  EdCAAD is still the place to ask about C Prolog.

You might find Stony Brook Prolog more what you're looking for.
It's covered by a GNU-style "copyleft", but that shouldn't bother
a .edu site.  The contact is Saumya Debray: debray@arizona.edu.

I'd be tempted to mention that Q------ Prolog is really great, more
than worth the price, but it doesn't run on Goulds, so I shan't (:-).

By "any UNIX machine", I hope Fishwick means "any 32-bit byte-addressed
virtual-memory machine running V.2 or later or 4.1BSD or later".  A 286
running Xenix is a UNIX machine, but don't expect porting C Prolog or
SB Prolog to it to be trivial.