dowding@bigburd.UUCP (03/11/87)
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 --