DocumentCode
3052701
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
fYear
1990
fDate
6-9 Nov 1990
Firstpage
507
Lastpage
510
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/TAI.1990.130389
Filename
130389
Link To Document