MSc Thesis #92117 | |
---|---|
Title: | Tx: a Prolog Explanation System |
Authors: | Gabriel,DS |
Date: | 1992 |
Presented: | |
Keywords: | |
Abstract: | This dissertation explains the underlying theory and implementation of a Prolog explanation system named TX. This system is intended to enhance the basic rule and fact-based explanations of existing Prolog tracer systems by making use of a higher-level description of each predicate definition than the code itself. The enhancements take the form of descriptions - both graphical and textual - of the flow of control and flow of information within the predicate. |
Download: | NO ONLINE COPY |