Year: 2005
Type: dissertation
Abstract: This thesis explores the design and implementation of a Prolog system with \njust one mode of program execution rather than the two modes of execution? \ninterpretation and compilation?present in most Prolog implementations in \nuse today. \nThe main contribution of the thesis is such a design, combining reasonably \nhigh runtime performance with the ability to modify, debug and inspect \nprogram code. The design has been realised as Open Prolog, a complete \nProlog environment with an integrated editor and debugger, built for the \nApple Macintosh with a Motorola 68000 instruction set. \nThe implementation supports the argument that the design offers high \nspeed compilation combined with reasonably high speed implementation and \nsimplicity of implementation, and compares favourably, in terms of speed of \nexecution and ease of program development, with a number of other implementations. \nThis work is concerned with the design and implementation of Open Prolog: \nthe overall architecture, static and dynamic aspects of the system, including \ncode representation, the image machine, compilation, data areas, the \nruntime behaviour of the system, built-in predicates and garbage collection. \nThe performance of the implementation is benchmarked and compared with \na number of other implementations, and the results of a low-level profiling \nstudy are presented.
Author: Michael Brady
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W819664346