Cleary, John G.Utting, MarkClayton, Roger2010-08-312010-08-312010-08-27Cleary, J.G., Utting, M. & Clayton, R. (2010). Datalog as a parallel general purpose programming language. (Working paper 06/2010). Hamilton, New Zealand: University of Waikato, Department of Computer Science.1177-777Xhttps://hdl.handle.net/10289/4486The increasing available parallelism of computers demands new programming languages that make parallel programming dramatically easier and less error prone. It is proposed that datalog with negation and timestamps is a suitable basis for a general purpose programming language for sequential, parallel and distributed computers. This paper develops a fully incremental bottom-up interpreter for datalog that supports a wide range of execution strategies, with trade-offs affecting efficiency, parallelism and control of resource usage. Examples show how the language can accept real-time external inputs and outputs, and mimic assignment, all without departing from its pure logical semantics.application/pdfencomputer scienceprogramming languagedatalogWorking Paper