This thesis explores the design and implementation of a Prolog system with just one mode of program execution rather than the two modes of execution? interpretation and compilation?present in most Prolog implementations ...