Using Prolog Techniques to Guide Program Composition. PhD. Thesis, Dept. of Artificial Intelligence, Edinburgh University, Submitted November 1994. Degree received in 1995.
Keywords: Prolog, Program Composition
A Prolog Interpreter using Copy-Structure Technique. MSc. Thesis, UACPYP CCH., National Autonomous University of Mexico, Submitted in December 1987, Degree received in 1988.
Keywords: Prolog, Copy-Structure Technique
SISMAP: An Intelligent System for Creation, Manipulation, Storage and Validation of Capture Forms. BSc. Thesis, Science Faculty, National Autonomous University of Mexico, Submitted June 1982. Degree received in 1983.
Keywords: Intelligent Systems
All our ideas and concepts are only internal pictures – Boltzmann (1899)