itkin@luke.UUCP (Steven List) (05/08/86)
I'm looking for a version of Prolog. The machines available to me
include an AT&T 7300 (Unix PC), AT&T 3B5, AT&T 3B2, Plexus P/60, Plexus
P/35, IBMPC, and AT&T 6300PC (IBMPC compatible). I've spoken with
someone from AT&T who suggests that Quintus may be porting to the 7300.
I've spoken with someone from Quintus who says there is no port and no
contract at this time. I've heard of something called C-Prolog, but
don't know for sure what it is.
What I'm looking for is a system on which I can begin to learn Prolog
and prototype some applications. Any help will be GREATLY appreciated.
Public domain or commercial is fine, as long as the price is reasonable
or I can convince my employer.
advTHANKSance
--
***
* Steven List @ Benetics Corporation, Mt. View, CA
* Just part of the stock at "Uncle Bene's Farm"
* {cdp,engfocus,idi,oliveb,plx,tolerant}!bene!luke!itkin
***dunbar@glasgow.glasgow.UUCP (Neil Dunbar) (05/16/86)
> I'm looking for a version of Prolog. The machines available to me > include an AT&T 7300 (Unix PC), AT&T 3B5, AT&T 3B2, Plexus P/60, Plexus > P/35, IBMPC, and AT&T 6300PC (IBMPC compatible). I've spoken with > someone from AT&T who suggests that Quintus may be porting to the 7300. > I've spoken with someone from Quintus who says there is no port and no > contract at this time. I've heard of something called C-Prolog, but > don't know for sure what it is. > > What I'm looking for is a system on which I can begin to learn Prolog > and prototype some applications. Any help will be GREATLY appreciated. > Public domain or commercial is fine, as long as the price is reasonable > or I can convince my employer. Don't Borland make a version of Prolog to run on the PC, Turbo Prolog? If you want a compiler there is the Arity compiler, again for MS-DOS systems, but it costs a few thousand (dollars or pounds, depending on which side of the Atlantic you're on). CProlog V1.2 is the current prolog interpreter system from the University of Edinburgh, running on our 11/780 under Unix. I don't know if it can be ported onto the machines you describe, but you never know, anything's possible. If you want to learn Prolog, try Clocksin & Mellish "Programming in Prolog", which is an excellent tutorial guide. Hope this helps, Neil Dunbar.