ECTOPIC--an extended translator of prolog into C++
Date
1992
Authors
Escalante, Carlos
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
This thesis describes the ECTOPIC system, a translator of Prolog to C++. The translator, entirely programmed in Prolog, includes two important optimizations: tail recursion optimization and clause indexing. ECTOPIC is an enhancement of the TOPIC system, a University of Victoria-IBM project, which supports multiĀlingual or mixed paradigm programming , but without incorporating some crucial optimizations such as tail recursion optimization and clause indexing. To implement these optimizations, a static analysis is performed to determine which Prolog predicates are determinate, using a method due to Debray. With the incorporation of these optimizations, ECTOPIC has been able to produce much better code than TOPIC for certain programs.
Description
Keywords
UN SDG 4: Quality Education