Please use this identifier to cite or link to this item:
|Title:||COLLIDING PUCKS SOLVED USING A TEMPORAL LOGIC|
|Authors:||Cleary, John G.|
|Abstract:||A Horn Clause logic programming language, called Starlog, which allows execution of programs involving time is described. A sound and complete bottom up execution procedure for the language is described. An extended example of Programming in Starlog is given in the form of a solution to the colliding pucks problem. A discussion of the features necessary for a distributed implementation of Starlog are given.|
|Appears in Collections:||Cleary, John |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.