Change search
ReferencesLink to record
Permanent link

Direct link
Time, clocks and committed choice parallelism for logic programming of real time computations
Number of Authors: 1
1986 (English)Report (Refereed)
Abstract [en]

A model for logic programming of real time computing systems is presented. The model is based on the process interpretation of Horn-Clause Logic and employs a non-deterministic committed-choice stream-And parallel search strategy. A real time computing system is represented as a network of communicating goals where each goal maintains its own logical clock which can be read and set by the node reduction process. The system of distributed logical clocks satisfies Lamport's correctness and distributed synchronisation conditions. The programming language is a variant of GHC to which many features are borrowed from PARLOG. Primitives to express time and timing constraints are provided. A meta-interpreter is given to describe the operational semantics of the language and the implementability of the model in the language itself. A telecommunications switching system has been specified and implemented in terms of the model presented here. It is also shown that the fairness problem has a natural solution in the proposed logical frame work. This is illustrated through a real time fair binary merge operator.

Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1986, 1. , 24 p.
SICS Research Report, ISSN 0283-3638 ; R86:13
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-14408OAI: diva2:1035697
Original report number R86013. Related paper "Logic Programming for Real Time Control of Telecommunication Switching Systems" appears in the Journal of Logic Programming, 1990.Available from: 2016-10-13 Created: 2016-10-13

Open Access in DiVA

fulltext(2949 kB)0 downloads
File information
File name FULLTEXT01.pdfFile size 2949 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

ReferencesLink to record
Permanent link

Direct link