Please use this identifier to cite or link to this item: http://hdl.handle.net/1880/46602
Title: COLLIDING PUCKS SOLVED USING A TEMPORAL LOGIC
Authors: Cleary, John G.
Keywords: Computer Science
Issue Date: 1-Aug-1989
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.
URI: http://hdl.handle.net/1880/46602
Appears in Collections:Cleary, John

Files in This Item:
File Description SizeFormat 
1989-358-20.pdf2.56 MBAdobe PDFView/Open


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