gooley@uicsl.UUCP (12/10/85)
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