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.ai
Subject: Prolog programs needed
Message-ID: <2200002@uicsl>
Date: Mon, 9-Dec-85 16:08:00 EST
Article-I.D.: uicsl.2200002
Posted: Mon Dec  9 16:08:00 1985
Date-Received: Wed, 11-Dec-85 04:25:18 EST
Lines: 20
Nf-ID: #N:uicsl:2200002:000:944
Nf-From: uicsl.UUCP!gooley    Dec  9 15:08: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