🚀 go-pugleaf

In article <10955@duke.cs.duke.edu> gleicher@duke.cs.duke.edu (Michael Gleicher) writes:
>I am beginning to look for a Prolog environment for my Mac 2.
>I'd appreciate any recommendations or comments.
>
>My main criteria are:
>	1) Be somewhat standard (easy to move programs from Quintus
>	   C and SB prolog on other machines)
>	2) Use the large amount of memory I have.
>	3) Be CHEAP (a public domain one, like SB etc would be best)
>	4) Be moderately efficient (interpretters won't cut it unless
>		they absolutely excell in the top 3 catagories.
>Availability of the Mac toolbox, an integrated editor, and a macintosh
>user interface are nice, but aren't essential. 
>
>Has anyone considered porting an available one (ie SB-Prolog, CProlog
>or Sicstus) to the Mac?

ZYX Macintosh Prolog is a very good Prolog system for Macintoshes. It meets
your requirements above (except possibly #3...). Also, it has a Mac user
interface, an integrated editor and good, but limited, access to the Mac
toolbox.

If you have heard that ZYX Prolog uses LISP syntax, you have heard right,
but it does have C-prolog compatibility, both syntactically and
semantically.

At SICS, several people use it, and we are very pleased. It runs naive
reverse at about 33 KLIPS (compiled) on a Mac II, an academic license
is $210. For further information contact ZYX Research AB (a Swedish
company). Phone +46 (for Sweden) 8 665 32 05 or E-mail pia@zyx.se.

Regarding porting of other Prologs: We have started to port Sicstus to
Macs at SICS. The timetable is very fuzzy, this project does not have high
priority as we already have a good Prolog system (ZYX) for Macs.
The main reason we do this is that we want to use the same Prolog system
all over SICS on different machines, to simplify porting Prolog programs.

Note to	Mike Gleicher: If you read this please notify me by E-mail
(lhe@sics.se). I suspect that my postings don't reach the U.S. and want
to check.

Lars-Henrik Eriksson				Internet: lhe@sics.se
Swedish Institute of Computer Science		Phone (intn'l): +46 8 752 15 09
Box 1263					Telefon (nat'l): 08 - 752 15 09
S-164 28  KISTA, SWEDEN