Title :
An abstract execution model for temporal logic programs
Author_Institution :
Dept. of Comput. Sci., Macquarie Univ., North Ryde, NSW, Australia
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;
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
DOI :
10.1109/TENCON.1993.320116
