Rule trees an execution mechanism for time-ordered forward deduction evaluating strategy of Starlog
dc.contributor.author | Xiao, Zhonge | eng |
dc.contributor.author | Cleary, John | eng |
dc.contributor.author | Unger, Brian W | eng |
dc.date.accessioned | 2008-02-27T16:58:20Z | |
dc.date.available | 2008-02-27T16:58:20Z | |
dc.date.computerscience | 1999-05-27 | eng |
dc.date.issued | 1998-07-01 | eng |
dc.description.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. | eng |
dc.identifier.department | 1998-626-17 | eng |
dc.identifier.doi | http://dx.doi.org/10.11575/PRISM/30555 | |
dc.identifier.uri | http://hdl.handle.net/1880/45844 | |
dc.language.iso | Eng | eng |
dc.publisher.corporate | University of Calgary | eng |
dc.publisher.faculty | Science | eng |
dc.subject | Computer Science | eng |
dc.title | Rule trees an execution mechanism for time-ordered forward deduction evaluating strategy of Starlog | eng |
dc.type | unknown | |
thesis.degree.discipline | Computer Science | eng |
Files
License bundle
1 - 1 of 1