Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watnot!watmath!clyde!rutgers!husc6!sri-unix!sri-spam!ames!ll-xn!cit-vax!usc-oberon!sdcrdcf!burdvax!bigburd!dowding
From: dowding@bigburd.UUCP
Newsgroups: comp.lang.prolog
Subject: Translating into Prolog
Message-ID: <2260@bigburd.PRC.Unisys.COM>
Date: Wed, 11-Mar-87 11:31:36 EST
Article-I.D.: bigburd.2260
Posted: Wed Mar 11 11:31:36 1987
Date-Received: Sat, 14-Mar-87 06:35:44 EST
Sender: news@bigburd.PRC.Unisys.COM
Organization: Unisys/Paoli Research Center, Paoli, PA
Lines: 20

Does anyone out there have experience with implementing very high
level languages in Prolog?  I have been working on a translator
for the Restriction Grammar (a logic grammar formalism).  My problem
is that the resulting Prolog code contains extremely large data
structures, much larger than you would find in a program written in Prolog
directly.  

My understanding is that most Prolog compilers are optimized to make
handling small terms efficient at the expense of large terms 
(by using copy-on-use rather than structure-sharing).
Does anyone know of any methods to use in translation to make large terms
efficient?


Thanks in advance,
John Dowding

dowding@bigburd.prc.unisys.com

--