Loading...
Thumbnail Image
Item

A Parallel semantics for normal logic programs plus time

Abstract
It is proposed that Normal Logic Programs with an explicit time ordering are a suitable basis for a general purpose parallel programming language. Examples show that such a language can accept real-time external inputs and outputs, and mimic assignment, all without departing from its pure logical semantics. This paper describes a fully incremental bottom-up interpreter that supports a wide range of parallel execution strategies and can extract significant potential parallelism from programs with complex dependencies.
Type
Working Paper
Type of thesis
Series
Computer Science Working Papers
Citation
Cleary, J. G. Utting, M., & Clayton, R. (2013). A Parallel semantics for normal logic programs plus time. (Working paper 05/2013). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
Date
2013-11-11
Publisher
University of Waikato, Department of Computer Science
Degree
Supervisors
Rights
© 2013 John G. Cleary, Mark Utting and Roger Clayton