[comp.lang.misc] A parser in Prolog, For HELP

feng@ics750.osaka-u.junet (Hyou An) (10/30/87)

I'm trying to construct a Prolog Based Translator Generator. What I wnat to do
is as follows:
	1.To specify the translator in Attribute Grammar(AG) 
						(or a form based on AG)
	2.To generate a translator specified by AG
		(1)To translate AG into a efficient form automatically.
		   For example, rewrite a LL(k) grammar into LL(m) (m<k), etc. 
		(2)To generate a translator (in Prolog) from the optimized AG.
		(3)To transforme the Prolog program into an efficient one.
This work is for my Ph.D. degree. I am therefore interested in any work on:
	. Attribute Grammar and Syntax Directed Translation
	. Efficient LL(k) parser
	. Language system based on Prolog  
	. Transformation system
Is there anyone out there doing or interested in similar work?
Any comments and suggestions will be helpful.


An Feng

Date:    29-Oct-1987 
Tel No:  06-844-1151(Ext.4816)


Airmail:  Department of Information and Computer Sciences
	    Faculty of Engineering Science
            Osaka University
            Toyonaka,Osaka
            560, Japan