ericc@a.cs.okstate.edu (Eric Cloninger) (02/22/90)
My apologies if this is a regular occurrence in your part of NetWorld. I'm searching for a LEX/YACC specification or similar tokenizer/parser software for PROLOG. The PROLOG code in question is mainly C-Prolog with a small (_very_ small) amount of Quintus Prolog (sp?). I'm studying the results of a Logic Programming course and need to do some analysis on the work turned in by the students. I'm not much of a PROLOG person, (this is more of a Software Engineering study) and the LEX/YACC specs that I have written have a few holes in them (few is the polite term for it). If someone has such files, knows where I can get them (via ftp perhaps), or even where a complete specification in paper form exists I could type it in. A search of our library resulted in a big goose-egg as far as books with any formal specification of PROLOG in them (it had the "usual" PROLOG books: Clocksin-Mellish, Sterling, Shapiro, etc.) To further qualify my search--I'm a poor grad student. I wouldn't mind paying a "reasonable" shareware fee to the original author, but I can't afford the sources to a commercial product by any means. My code is being developed on a 80x86 class machine, but I have to be careful and create code that can later be ported up to UN*X. Please reply via e-mail. I have enough trouble keeping up with the 15 or so groups I regularly contribute to. Thanks Eric -- ========================================================================= Internet : ericc@a.cs.okstate.edu USnail : 110 W. Third St, Stillwater, OK 74074 AT & T : (405) 377-0880