masticol@sabbath.rutgers.edu (Steve Masticola) (03/14/88)
Thanks to all who replied to my first posting about Mac Prolog. I've had two favorable comments about AAIS Prolog, but I haven't found it in my usual software sources. Can anyone tell me if there is a discount software house supplying AAIS Prolog? (Or does anyone want to sell me a copy w/license?) Even the address and phone of AAIS would be appreciated. Thanks, Steve Masticola masticol@paul.rutgers.edu
ok@quintus.UUCP (Richard A. O'Keefe) (03/15/88)
In article <Mar.14.09.50.49.1988.675@sabbath.rutgers.edu>, masticol@sabbath.rutgers.edu (Steve Masticola) writes: > the address and phone of AAIS would be appreciated. According to the AAIS Prolog manual, Advanced A.I. Systems, Inc., P.O.Box 39-0360, Mountain View, CA 94039-0360 ph: (415) 961-1121 I haven't verified this, but the manual, the errata, and the cover letter all say the same thing several times. However, the cover letter says: "If you have any problems or questions, please call us at (415)961-1121 between 9am and 4pm Monday-Thursday and 9am and 1pm Friday, Pacific Time, and we will do our best to help you. Please note our new phone number is (415)948-8658." I haven't used AAIS Prolog myself, but I've heard good things about it. My only gripe is that it isn't an Edinburgh-compatible Prolog, and I can't see any point in most of the differences. Beware, for example, that they have member/2 and memberchk/2 built in, but they call memberchk/2 member and they call member/2 foreach. It would be very interesting to hear the experiences of people porting Prolog programs to/from the Macintosh /between different Prologs on the Macintosh. E.g. converting from LPA MacProlog to AAIS Prolog or vice versa. It would also be interesting to hear which Mac Prologs are reliable: I have a beta copy of a Prolog for the Macintosh (*NOT* *OURS*! There is no Quintus Prolog for the Mac!) which is really quite nice except that it crashes rather a lot and takes the Mac with it.
chiefdan@vax1.acs.udel.EDU (Chief Dan Roth) (03/17/88)
I'd appreciate info on conversion problems from anyone who has used the above two. I'm currently porting a relatively large program from Quintus on a Sun to AAIS on a Mac II. Anyone who has done a similar conversion out there? chiefdan -- "I promise, if elected, I will borrow even-larger amounts of money in order to keep pace with the ever-increasing interest payments on the national debt!" "You've got my vote! So long as you don't cut spending or raise taxes." -Stamaty ARPA: chiefdan@vax1.acs.udel.edu UUCP: BACKBONE!vax1.acs.udel.edu!chiefdan