Lecture Notes in Computer Science, 1988, Volume 315/1988, 80-94, DOI: 10.1007/3-540-19426-6_6

Deriving a compilation method for parallel logic languages

Youji Kohda and Jiro Tanaka

View Related Documents

Abstract

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.

Fulltext Preview

Image of the first page of the fulltext document