Title :
Extended restricted AND-parallelism execution model
Author :
Chang, Si-En ; Manwaring, Mark L. ; Chiang, Y. Paul
Author_Institution :
Dept. of Electr. & Comput. Eng., Washington State Univ., Pullman, WA, USA
Abstract :
The authors present an extended RAP execution model and its abstract machine to support intelligent backtracking and side effects. An abstract interpretation based compiler technique to extract backtracking literals from a program is developed. The complete forward and backtracking algorithms for the extended execution model have been developed. An extended abstract machine is designed with few additional registers and instructions to support the forward and backtracking algorithms
Keywords :
artificial intelligence; parallel processing; program compilers; supervisory programs; RAP execution model; abstract interpretation; abstract machine; compiler; intelligent backtracking; logic programs; parallel execution; restricted AND-parallelism execution; Algorithm design and analysis; Artificial intelligence; Computational efficiency; Costs; Logic; Machine intelligence; Parallel processing; Program processors; Resource management; Statistics;
Conference_Titel :
Parallel and Distributed Processing, 1990. Proceedings of the Second IEEE Symposium on
Conference_Location :
Dallas, TX
Print_ISBN :
0-8186-2087-0
DOI :
10.1109/SPDP.1990.143585
