Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: Notesfiles $Revision: 1.7.0.10 $; site uicsl
Path: utzoo!watmath!clyde!cbosgd!ihnp4!inuxc!pur-ee!uiucdcs!uicsl!gooley
From: gooley@uicsl.UUCP
Newsgroups: net.lang.prolog
Subject: Prolog programs needed
Message-ID: <6500001@uicsl>
Date: Fri, 6-Dec-85 14:50:00 EST
Article-I.D.: uicsl.6500001
Posted: Fri Dec  6 14:50:00 1985
Date-Received: Tue, 10-Dec-85 06:31:25 EST
Lines: 20
Nf-ID: #N:uicsl:6500001:000:944
Nf-From: uicsl.UUCP!gooley    Dec  6 13:50:00 1985


I need some Prolog code to analyze: preferably nothing huge (that is,
nothing more than several hundred to several thousand clauses long),
since I have only the UNSW Prolog interpreter. I think that DEC-10
Prolog and C-Prolog are close enough to UNSW that I won't need to do
much re-writing of programs written in them.
	I realize that it sounds unlikely, but has anyone written a Prolog
compiler, available at nominal cost (that's the unlikely part), for a
VAX running Unix? I also have access to a late-model Gould supermini
(can't recall the model number) running Unix; the UNSW interpreter runs
nicely on that, but it's still rather slow.
	Finally, has anyone ever published a formal description of
Prolog (BNF or the like; shouldn't BNF be capable of describing Prolog?)?
I can't find one.
	Thank you very much.

		Mark Gooley
		Computer Systems Group
		University of Illinois at Urbana-Champaign
		(convex ; pur-ee ; ihnp4)!uiucdcs!uicsl