Title :
A high level compiling implementation of PARLOG based on extended graph rewriting
Author :
Zhenzhong, Li ; Dingxing, Wang
Author_Institution :
Dept. of Comput. Sci. & Technol., Tsinghua Univ., Beijing, China
Abstract :
An extended graph rewriting computational model is proposed which can implement logic variables, nondeterminism, OR-parallelism, and guard calls of PARLOG very efficiently. It is pointed out that the methods for implementing PARLOG based on this model are better than those in other related research works
Keywords :
logic programming; parallel programming; program compilers; rewriting systems; OR-parallelism; PARLOG; computational model; extended graph rewriting; guard calls; high level compiling implementation; logic variables; nondeterminism; Computational modeling; Computer architecture; Computer interfaces; Computer languages; Computer science; Concurrent computing; Functional programming; Logic programming; Logic testing; Program processors;
Conference_Titel :
Tools for Artificial Intelligence, 1990.,Proceedings of the 2nd International IEEE Conference on
Conference_Location :
Herndon, VA
Print_ISBN :
0-8186-2084-6
DOI :
10.1109/TAI.1990.130389
