Please use this identifier to cite or link to this item: http://hdl.handle.net/1880/45845
Title: Time-ordered forward deduction with negation evaluation strategy revised
Authors: Xiao, Zhonge
Cleary, John
Unger, Brian W
Keywords: Computer Science
Issue Date: 1-Jul-1998
Abstract: This is the third report on "Time-ordered Forward Deduction" algorithm for Starlog. The negation evaluation part of the algorithm has been modified extensively based on experiments with previous implementations and further study. The new algorithm is optimistic in terms of its negation evaluation strategy. The notion of \fBOpen Tuple\fR and related \fBNegation Failure Bound Splitting (NFBS)\fR method are introduced. A complete definition of the new algorithm is given, it treats the execution of a program in a more consistent and uniform manner and does not involve any semantic aspects of a program. It is our belief that a formal proof of the algorithm is not too difficult.
URI: http://hdl.handle.net/1880/45845
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.