Newsgroups: comp.lang.smalltalk,comp.lang.scheme,comp.lang.lisp
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!europa.eng.gtefsd.com!howland.reston.ans.net!pipex!uunet!aspgd21!dtcdmm1
From: dtcdmm1@PROBLEM_WITH_INEWS_GATEWAY_FILE (Deron McAndrew)
Subject: Re: Looking for "rule compilers"
Sender: news@gteds.com (news)
Message-ID: <1994Nov18.163332.24358@gteds.com>
Date: Fri, 18 Nov 1994 16:33:32 GMT
References: <GWYANT.94Nov10133254@cloyd.east.sun.com> <hbakerCz44Jp.H8y@netcom.com> <CzAH3B.CtI@ois.com> <3a9ed4$bcg@newstand.syr.edu>
Organization: GTE Data Services
X-Newsreader: TIN [version 1.2 PL2]
Followup-To: comp.lang.smalltalk,comp.lang.scheme,comp.lang.lisp
Lines: 26
Xref: glinda.oz.cs.cmu.edu comp.lang.smalltalk:18120 comp.lang.scheme:11373 comp.lang.lisp:15699

David Snyder. (dsnyder@puma.cat.syr.edu) wrote:


> My problem:
> I have a small set of rules used in a natural language processing
> application.  The LHS of each rule requires simple pattern matching
> over a small set of terminals and non-terminals, and the RHS typically
> transforms parts of the LHS.  Kleene operators are used extensively.
> These rules are applied recursively, in strict sequence.  The final
> output from running the rules should be a tree.

> Question:
> Is there a publicly available C or lisp tool out there I can use for
> building and playing with rules (other than YACC)?  Please reply to me
> directly as I do not read these news groups regularly.  Appreciate
> pointers to other group to poll for info.

> Thanks much!

I would strongly suggest that you look at the book "Elements of ML 
Programming" by Jeffery Ullman.  ML is a functional language that 
specializes in just this kind of pattern matching.  I believe it is 
available at gatekeeper.dec.com.  If you're interested try comp.lang.ml 
or comp.lang.functional.

DMM
