Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!kddlab!icot32!nttlab!ouicsu!ics750!feng
From: feng@ics750.osaka-u.junet (Hyou An)
Newsgroups: comp.lang.prolog,comp.lang.misc
Subject: A parser in Prolog, For HELP (In English)
Message-ID: <650@ics750.osaka-u.junet>
Date: Fri, 30-Oct-87 00:01:32 EST
Article-I.D.: ics750.650
Posted: Fri Oct 30 00:01:32 1987
Date-Received: Wed, 11-Nov-87 02:51:15 EST
Organization: Dept. of Info. and Comp. Sci., Osaka Univ., Japan
Lines: 31
Keywords: Prolog, LL(k), Attribute Grammar , Program Transformation
Xref: mnetor comp.lang.prolog:446 comp.lang.misc:880



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