Deriving a compilation method for parallel logic languages

Youji Kohda, Jiro Tanaka

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.

Original languageEnglish
Title of host publicationLogic Programming 1987 - Proceedings of the 6th Conference
EditorsHozumi Tanaka, Koichi Furukawa, Tetsunosuke Fujisaki
PublisherSpringer Verlag
Number of pages15
ISBN (Print)9783540194262
Publication statusPublished - 1988
Externally publishedYes
Event6th Conference on Logic Programming, 1987 - Tokyo, Japan
Duration: 1987 Jun 221987 Jun 24

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume315 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other6th Conference on Logic Programming, 1987

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Deriving a compilation method for parallel logic languages'. Together they form a unique fingerprint.

Cite this