Xref: utzoo comp.sys.mac.programmer:22261 comp.sys.mac.wanted:2821
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sun-barr!olivea!uunet!mcsun!cernvax!chx400!chx400!bernina!neptune!mint!marti
From: marti@mint.inf.ethz.ch (Robert Marti)
Newsgroups: comp.sys.mac.programmer,comp.sys.mac.wanted
Subject: Re: Prolog
Keywords: PROLOG
Message-ID: <25025@neptune.inf.ethz.ch>
Date: 14 Feb 91 14:14:00 GMT
References: <1991Feb12.220827.17917@rodan.acs.syr.edu> <2439@key.COM>
Sender: news@neptune.inf.ethz.ch
Reply-To: marti@mint.inf.ethz.ch (Robert Marti)
Organization: Departement Informatik, ETH, Zurich
Lines: 37

In article <2439@key.COM> perry@arkon.key.COM (Perry The Cynic) writes:
>> Is anyone out there aware of a Prolog compiler for the Mac?
>There are two Mac Prolog systems that I am aware of.

Me too.


>One is called "AAIS Prolog" (AAIS is the company, Advanced A.I. Systems).

Yup.  I have a 5 year old version (release 1.13) which ran quite
acceptably on a 1MByte Mac+ at the time.  Since I have SICStus Prolog
on a Sun, I don't use it anymore, though.  One thing which pissed me
off was that AAIS (the company) never bothered to send upgrade
information despite the fact that I registered my copy right away.


>The other Prolog I know about, is called LPW Prolog. All I know is, two
>years ago I called them and received a Demo Disk. The program on that disk
>was to totally bad that I tossed the disk and forgot about them.
>What struck me particularly, was that they were an IBM/PC outfit
>branching into the Mac world, and their Mac integration was, well,
>just about nonexistent.

I guess you're talking about LPA MacProlog Professional or whatever the
product is called exactly.  Logic Programming Associates (LPA) are
indeed a British company.  I know a couple of people who use the system
for their research work and are very happy with it.  Highly efficient,
good integration with the Mac, etc.  I believe that nowadays, Quintus
(of Mountain View, CA) is the US distributor.  Try sending mail to
adler%quintus.com@sun.com or to sales%quintus.com@sun.com for further
info.

--
Robert Marti                      |  Phone:    +41 1 254 72 60
Institut fur Informationssysteme  |  FAX:      +41 1 262 39 73
ETH-Zentrum                       |  E-Mail:   marti@inf.ethz.ch
CH-8092 Zurich, Switzerland       |