[comp.sys.mac] Macintosh Prolog Recommendations

gleicher@duke.cs.duke.edu (Michael Gleicher) (01/21/88)

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?

Thanks,
	Mike

Michael Lee Gleicher			(-: If it looks like I'm wandering
	Duke University			(-:    around like I'm lost . . .
E-Mail: gleicher@cs.duke.edu)(or uucp	(-:
Or P.O.B. 5899 D.S., Durham, NC 27706	(-:   It's because I am!

newton@cit-vax.Caltech.Edu (Mike Newton) (01/22/88)

Some comments regarding the recent inquiry regarding Prolog for the Mac:

First, despite the posters comments, CProlog is NOT in the public domain.
Though the academic license is real cheap, it is needed.  I believe an
industry license is big $$.  (Note: I maintain an 'alternate' version
of CProlog that compiles under more systems, like UTS,  than the original.)
I have NOT yet tried to compile it under Mac OS (please dont ask), though
it seems to work under some other (un-named) OS.

I dont know if Quintus or BIM have a Mac version yet, of if they ever
will.  I'm pretty sure that at least BIM was thinking of it.

If Turbo Prolog for the Mac ever comes out _DONT BUY IT_.  It is trash.

A commercial Mac Prolog that I highly recommend is by ALS.  I believe
they are about ready to ship the Mac version.  The PC version has been
out a while.  (Note: i have ties to ALS, so this is biased.  However,
it really seems nice!).  Their phone number is: 315 471 3900.

- mike
-- 
newton@csvax.caltech.edu	{ucbvax!cithep,amdahl}!cit-vax!newton
Caltech 256-80			818-356-6771 (afternoons,nights)
Pasadena CA 91125		Beach Bums Anonymous, Pasadena President

	"Reality is a lie that hasn't been found out yet..."

dwb@apple.UUCP (David W. Berry) (01/23/88)

In article <5269@cit-vax.Caltech.Edu> newton@cit-vax.UUCP (Mike Newton) writes:
>
>I dont know if Quintus or BIM have a Mac version yet, of if they ever
>will.  I'm pretty sure that at least BIM was thinking of it.
	I just talked to some folks at Quintus and "it's not on the
schedule"  It would, however, probably be simple to talk them into
doing a port to A/UX, providing you wanted to pay the n thousand
dollar price they ask.
-- 
	David W. Berry
	dwb@well.uucp                   dwb@Delphi
	dwb@apple.com                   973-5168@408.MaBell
Disclaimer: Apple doesn't even know I have an opinion and certainly
	wouldn't want if they did.

deering@spar.SPAR.SLB.COM (Michael Deering) (01/23/88)

Other MAC-II prologs to consider include LPA macprolog, and AAIS prolog
(Advanced AI Systems).  Many large programs run in AAIS prolog on a
MAC II the same speed as Quintus compiled on a SUN-3/50, while still
maintaining a complete debugging environment.  I believe LPA has
full toolbox access, AAIS certainly does.  Both of these prologs have
been shiping commercially for over a year.  I not yet seen a non-beta
version of ALS prolog, but I have not looked recently (2 months).
(Note: I have ties to AAIS, so this biased.  However, it is really nice!)

- MD

guest@drexel.UUCP ( Learn) (01/25/88)

R

We at Automata Design Associates consider the MAC to be a prime
target for porting. Our prolog system has some very nice uncon-
ventional features, such as a cyclic structure unifier, a very
reasonable price, and is currently implemented on 386 based
UNIX systems. For more details, refer to the new product 
announcement in this section. 

     If you'd like to see it happen, send a request to Apple for
hardware support.

Reply to this posting via drexel!adapro2!bob, as we are loosing
this guest account.

lhe@sics.se (Lars-Henrik Eriksson) (01/25/88)

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