Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!caen!kuhub.cc.ukans.edu!hawk!spratt
Newsgroups: comp.sys.mac.programmer
Subject: Re: Wanted: PROLOG compiler for the Mac
Message-ID: <1991Jun14.154110.21326@hawk.cs.ukans.edu>
From: spratt@hawk.cs.ukans.edu (Lindsey Spratt)
Date: Fri, 14 Jun 1991 15:41:10 GMT
References: <1991Jun14.141704.21798@ux1.cso.uiuc.edu>
Organization: University of Kansas Computer Science Dept
Keywords: Prolog, compiler
Summary: LPA, AAIS, ALS
Lines: 19


There are several prolog systems form the Mac. I use LPA MacProlog
extensively. They provide a reasonable development environment and
good connection to the Mac toolbox. This system is sold by Quintus
Computer Systems, in MountainView CA. I think they can be gotten hold
of via sales@quintus.com.

Other vendors I know of are AAIS (Advanced Artificial Intelligences
Systems, I think), and ALS (Applied Logic Systems). I have heard
rumours that ALS has the fastest Prolog for the Mac. I don't have an
address for AAIS. The address I have for ALS is

Applied Logic Systems
Box 90
University Station
Syracuse, New York 13210

These are all commerical Prologs.  I don't know of a public domain Prolog for
the Mac.