Escalante, Carlos2024-08-132024-08-1319921992https://hdl.handle.net/1828/17742This 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.65 pagesAvailable to the World Wide WebUN SDG 4: Quality EducationThesis