🚀 go-pugleaf

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.