[net.micro.mac] prolog for the Mac

paver@mcc-db.UUCP (Bob Paver) (02/28/85)

I'm looking for a PROLOG implementation that runs on the
Macintosh (128 or 512K).   Any leads/information will be
appreciated.

Of course, I'll summarize if warranted.

Thanks.

- - - - - - - - - - - - - - - - - - - - - - - - - - -
Bob Paver		(512) 834-3316
Microelectronics and Computer Techonology Corp. (MCC)
9430 Research Blvd, Echelon Building #1
Austin, TX  78759

ARPA: paver@mcc
UUCP: {ihnp4,seismo,kpno,ctvax}!ut-sally!mcc-db!paver

goetter@yale.ARPA (Ben) (03/04/85)

	I'm looking for a PROLOG implementation that runs on the
	Macintosh (128 or 512K).   Any leads/information will be
	appreciated.
	
	- - - - - - - - - - - - - - - - - - - - - - - - - - -
	Bob Paver		(512) 834-3316
	Microelectronics and Computer Techonology Corp. (MCC)
	9430 Research Blvd, Echelon Building #1
	Austin, TX  78759
	
	ARPA: paver@mcc
	UUCP: {ihnp4,seismo,kpno,ctvax}!ut-sally!mcc-db!paver

================
The March _Dr._Dobbs'_Journal_ is a special Prolog issue.  In an article
entitled "Programming in Logic," John Malpas makes the following Mac-
relevant points:

	1) He claims that Apple will announce a Prolog for the Mac some time
	this spring.

	2) The following company is listed as having a product called "PROLOG-1"
	for the Mac (and several other machines):

		Expert Systems International
		1150 First Avenue
		King of Prussia, PA 19406


If anybody knows anything more, please let me know...

wpl@burdvax.UUCP (William Loftus) (03/11/85)

Reguarding prolog for the Mac, The company Expert Systems International
does not have prolog for the Mac.  Dr Dobbs Journal printed that
ESI had prolog-1 for the Mac; this was wrong.  The truth is ESI is planning 
to have prolog-2 for the Mac available in about two months.

If anyone is interested in knowing when the actual release date is
send me mail, and as soon as I know I'll mail out the data. The reason
I know so much about ESI is my girl-friend works there.

Keep :-) !!
-- 
      /       
     /         /======/     		Ronin   ..!burdvax!wpl
=======       /      /
/  /  /      /======/
======      /      /
 /         /======/
/