DocumentCode
2039908
Title
An abstract execution model for temporal logic programs
Author
Orgun, M.A.
Author_Institution
Dept. of Comput. Sci., Macquarie Univ., North Ryde, NSW, Australia
Volume
2
fYear
1993
fDate
19-21 Oct. 1993
Firstpage
597
Abstract
The paper proposes an abstract execution model which can be used as the basis for implementing temporal logic programs on multi-processor architectures. Temporal logic programs offer a form of parallelism, which we call temporal-parallelism, that does not exist in standard logic programs. Temporal-parallelism means that computations at different moments in time can be performed in parallel and independently of each other. We also outline the mapping of the abstract model onto a network of processors.<>
Keywords
logic programming; logic programming languages; multiprocessing systems; parallel programming; temporal logic; abstract execution model; mapping; multi-processor architectures; temporal logic programs; temporal-parallelism; Associative memory; Communication system control; Computational modeling; Computer architecture; Concurrent computing; Deductive databases; Logic programming; Parallel processing; Prototypes; Tagging;
fLanguage
English
Publisher
ieee
Conference_Titel
TENCON '93. Proceedings. Computer, Communication, Control and Power Engineering.1993 IEEE Region 10 Conference on
Conference_Location
Beijing, China
Print_ISBN
0-7803-1233-3
Type
conf
DOI
10.1109/TENCON.1993.320116
Filename
320116
Link To Document