TY - GEN
T1 - Deriving a compilation method for parallel logic languages
AU - Kohda, Youji
AU - Tanaka, Jiro
N1 - Publisher Copyright:
© 1988, Springer-Verlag.
Copyright:
Copyright 2017 Elsevier B.V., All rights reserved.
PY - 1988
Y1 - 1988
N2 - It is already known that a Concurrent Prolog program can be compiled into an equivalent Prolog program. Using a Concurrent Prolog interpreter written in Prolog, we converted Concurrent Prolog programs step by step to compiled codes in Prolog. Each conversion step was successfully executed on a Prolog language processor. We examined how each conversion step contributed to performance improvement, using sample Concurrent Prolog programs such as a meta interpreter.
AB - It is already known that a Concurrent Prolog program can be compiled into an equivalent Prolog program. Using a Concurrent Prolog interpreter written in Prolog, we converted Concurrent Prolog programs step by step to compiled codes in Prolog. Each conversion step was successfully executed on a Prolog language processor. We examined how each conversion step contributed to performance improvement, using sample Concurrent Prolog programs such as a meta interpreter.
UR - http://www.scopus.com/inward/record.url?scp=85034858988&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85034858988&partnerID=8YFLogxK
U2 - 10.1007/3-540-19426-6_6
DO - 10.1007/3-540-19426-6_6
M3 - Conference contribution
AN - SCOPUS:85034858988
SN - 9783540194262
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 80
EP - 94
BT - Logic Programming 1987 - Proceedings of the 6th Conference
A2 - Tanaka, Hozumi
A2 - Furukawa, Koichi
A2 - Fujisaki, Tetsunosuke
PB - Springer Verlag
T2 - 6th Conference on Logic Programming, 1987
Y2 - 22 June 1987 through 24 June 1987
ER -