The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


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


[Search These Pages] [DAI Home Page] [Comment]