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.
emv@umix.UUCP (Edward Vielmetti) (05/19/86)
Two implementations of Prolog that I know of for ibm pc compatibles that meet the standards of inexpensive and readily available are: Automata Design Associates (ADA) Prolog. They have several versions available, including an interpreter that's public domain. You should be able to find it on a local PC bulletin board; I know that it's on these two: Wipcus BBS 1-313-663-1835 (Ann Arbor, MI) (prolog.arc) Computer Aide 1-918-493-2137 (Tulsa, OK) (pdprolog.arc) Borland International's Turbo Prolog. This is an interpreter and a compiler; it requires 512K memory, and 640K would be welcomed. Lots of system-specific features, like windowing, graphics, access to DOS calls; syntax is mostly standard, but it's missing some language features like operator declarations. List is $99, it should probably retail for something in the mid-$70 range. I'm new to Prolog, and I know this list isn't complete. I'm starting to learn Turbo Prolog right now; it seems quick, has a built-in editor, decent documentation and 50+ example programs. Edward Vielmetti, Computing Center MicroGroup, University of Michigan. emv%UMich-MTS.Mailnet emv@umix.UUCP (313) 747-3744
ram@nucsrl.UUCP (05/24/86)
There is a variant of c-prolog availabale for unix (written in c). It is called UNSW prolog ,written by claude sammut of U of New South Wales.It is an adaptation from dec-10 prolog(warren's).This UNSW prolog is being used by us on AT&T 3B2s here at Northwestern Univ. There is a public domain version for micros(based on Z80) from Public Domain software copying co(33 Gold Street - 13,New York City,N.Y-10038). Borland has a TURBO prolog for $99(tel:800-255-8008) and one for MSDOS from Chalceny Software Inc for about $60(tel:800-621-0852). There are many other versions for micros.One could locate them in any recent issue of BYTE magazine. I hope this helps. Renukanthan Raman
gooley@uicsl.UUCP (06/03/86)
UNSW Prolog is *not* a variant of C-Prolog. It was developed independently, has a slightly different syntax, behaves quite differently in some situations, does not try to fake a tagged architecture, lacks many bells and whistles, and (according to a letter in a recent issue of "Computer Architecture News" [the ACM SIGARCH bulletin]) is about half as fast when run on a VAX-11/780. Its chief advantages are simplicity, modularity (relatively easy to modify for instrumentation, except that the source lacks comments), and portability. It's my opinion that it will run on any 32-bit machine under UNIX with only trivial changes, and, with a little work, on anything that has a C compiler (I ported it to our Gould PN9050 and had only to change a few pathnames). {seismo ; pur-ee ; ihnp4 ; convex}!uiucdcs!uicsl!gooley
san@bubba.UUCP (06/06/86)
> > UNSW Prolog is *not* a variant of C-Prolog. It was developed independently, > ... > (I ported it to our Gould PN9050 and had only to change a few pathnames). > > {seismo ; pur-ee ; ihnp4 ; convex}!uiucdcs!uicsl!gooley Ok... how does one get a copy of UNSW Prolog? Thanks in advance, Steve Sanderson -- Steve Sanderson, COSI Texas 4412 Spicewood Springs, Suite 801 Austin, Texas 78759 UUCP: {ihnp4, seismo, ctvax}!ut-sally!cositex!san, san@cositex.UUCP AT&T: (512) 345-2780
greg@cs.hw.AC.UK (Greg Michaelson) (06/09/86)
> > There is a variant of c-prolog availabale for unix (written in c). It is called > UNSW prolog ,written by claude sammut of U of New South Wales.It is an > adaptation from dec-10 prolog(warren's).This UNSW prolog is being used > by us on AT&T 3B2s here at Northwestern Univ. > UNSW Prolog is full of bugs. I've tried mailing UNSW for help/patches but with no success. We've dropped UNSW for C-Prolog from the Dept. of A.I., University of Edinburgh, Edinburgh, Scotland.
debruyn@philtis.UUCP (F.W.G.M. de Bruyn @ Philips CAD Centr) (06/10/86)
I might be able to help shed some light on the UNSW prolog discussions that have been transmitted recently. In 1984 I spend some time in academic circles in Sydney Australia , worked on some extensions for UNSW prolog and had various contacts with the author. At th moment I still maintain an installation of UNSW prolog for Eindhoven Tech. here in the Netherlands. UNSW prolog stands for University of New South Wales prolog, one of 2 academic centers in Sydney, Australia ("down under" for those who have been there). The main author is Dr. Claude Sammut (the same Sammut as the one who visited Univ. of Illinois for approx. 0.5 year in (I believe) 1983). UNSW prolog definitely is an offspring from C-prolog, but spawning took place in the dark ages of pre 1983. This fact is acknowledged in the manual anno 1984. Dr. Sammut did some extensive restructuring, rewriting, in fact re- everything on the C-prolog code. This made the interpreter faster, more understandable and more portable then the (ancient) C-prolog version that he started from. I can't compare it with 1985/6 C-prolog releases, but it certainly beat the hell out of the ancient C-prolog sources that I've seen (sorry Edinburgh). I find UNSW without major bugs and good enough to do serious work with. If you want to hack a Prolog to include your own built-in predicates for e.g. graphics, then UNSW certainly is interesting. UNSW prolog used to be approx. 55000 lines of C code, which compiles to approx. 70 Kbyte executable. My release (vs 4) runs some 1400-1600 LIPS (naive reversal- non optimised clause order) on a VAX 11/750. The system comes with on-line help, troff your own manual, and libraries. A license used to be A$ 150, or 200 for academics in 1984. To obtain a copy and the latest info contact Dr. Clause Sammut, Dept of El. Eng. & Comp. Science, University of New South Wales, Kensington, NSW 2033, AUSTRALIA Ph (02)697-4052 UUCP: {..!{seismo, mcvax}!munnari, ..!decvax!mulga}!claude@elecvax.oz +---------------------------------------------------------------------------+ | Frank W.G.M. de Bruyn, Philips, Advanced Developments/ Applied AI | | PO. box 218, Rm. HKJ P830, NL-5600 MD Eindhoven, THE NETHERLANDS | | | | USENET: ..!mcvax!{philmds!philtis!debruyn, eutrc3!{prolog, rcstfdb}} | +---------------------------------------------------------------------------+
claude@cheops.OZ (Claude Sammut) (06/11/86)
After Frank de Bruyn's article it looks like I'll have to step in with the authentic story on UNSW Prolog. As far as I can tell UNSW Prolog predates C-Prolog. The first version was completed in 1979. (Please let me know if I'm wrong. I know that C-Prolog was based on an earlier interpreter for an ICL machine). The entire system was written without knowledge of how any other Prolog was implemented. In fact I wrote it to teach myself how Prolog works because there was so little information available here in Australia at that time. This independent development also explains why there are differences in the system's behaviour when compared with "Edinburgh" Prologs. I had to make design decisions without the benefit of anyone's advice. As it turned out almost all the decisions comformed with the Edinburgh implementations, however, there remain some differences. These are mostly only minor datails or matters of taste. The most important differences are that cut in UNSW Prolog, when used inside an "or" or "->", does not cut the entire clause. Also, my bagof is really only findall. In the interests of historical accuracy, Claude Sammut University of New South Wales
rb@cci632.UUCP (Rex Ballard) (06/26/86)
It was good to see your article. Could you tell me what the terms are for UNSW? Is there a U.S. distributor? Is it semi-public domain? Is it possible to get documentation (differences from C&M)?