Please use this identifier to cite or link to this item: http://hdl.handle.net/1880/45844
Title: Rule trees an execution mechanism for time-ordered forward deduction evaluating strategy of Starlog
Authors: Xiao, Zhonge
Cleary, John
Unger, Brian W
Keywords: Computer Science
Issue Date: 1-Jul-1998
Abstract: This is the second report on "Time-ordered Forward Deduction" algorithm for Starlog. A \fBRule Tree (R-tree)\fR structure is discussed. The R-tree is used to represent a program rule in the dynamic process of program execution. It serves not only as a structured data storage for program rules and their derivable instances, but also as a control structure in program execution which allows the execution to be carried out in more orderly and formal manner.
URI: http://hdl.handle.net/1880/45844
Appears in Collections:Cleary, John
Unger, Brian W

Files in This Item:
File Description SizeFormat 


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.