Deriving a compilation method for parallel logic languages

Youji Kohda, Jiro Tanaka

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

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.

Original languageEnglish
Title of host publicationLogic Programming 1987 - Proceedings of the 6th Conference
EditorsHozumi Tanaka, Koichi Furukawa, Tetsunosuke Fujisaki
PublisherSpringer-Verlag
Pages80-94
Number of pages15
ISBN (Print)9783540194262
DOIs
Publication statusPublished - 1988 Jan 1
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

Other

Other6th Conference on Logic Programming, 1987
CountryJapan
CityTokyo
Period87/6/2287/6/24

Fingerprint

Prolog
Compilation
Logic
Concurrent
Language

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Kohda, Y., & Tanaka, J. (1988). Deriving a compilation method for parallel logic languages. In H. Tanaka, K. Furukawa, & T. Fujisaki (Eds.), Logic Programming 1987 - Proceedings of the 6th Conference (pp. 80-94). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 315 LNCS). Springer-Verlag. https://doi.org/10.1007/3-540-19426-6_6

Deriving a compilation method for parallel logic languages. / Kohda, Youji; Tanaka, Jiro.

Logic Programming 1987 - Proceedings of the 6th Conference. ed. / Hozumi Tanaka; Koichi Furukawa; Tetsunosuke Fujisaki. Springer-Verlag, 1988. p. 80-94 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 315 LNCS).

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

Kohda, Y & Tanaka, J 1988, Deriving a compilation method for parallel logic languages. in H Tanaka, K Furukawa & T Fujisaki (eds), Logic Programming 1987 - Proceedings of the 6th Conference. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 315 LNCS, Springer-Verlag, pp. 80-94, 6th Conference on Logic Programming, 1987, Tokyo, Japan, 87/6/22. https://doi.org/10.1007/3-540-19426-6_6
Kohda Y, Tanaka J. Deriving a compilation method for parallel logic languages. In Tanaka H, Furukawa K, Fujisaki T, editors, Logic Programming 1987 - Proceedings of the 6th Conference. Springer-Verlag. 1988. p. 80-94. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-19426-6_6
Kohda, Youji ; Tanaka, Jiro. / Deriving a compilation method for parallel logic languages. Logic Programming 1987 - Proceedings of the 6th Conference. editor / Hozumi Tanaka ; Koichi Furukawa ; Tetsunosuke Fujisaki. Springer-Verlag, 1988. pp. 80-94 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{1048dfcc49f44064811053d9bd4d0a2e,
title = "Deriving a compilation method for parallel logic languages",
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.",
author = "Youji Kohda and Jiro Tanaka",
year = "1988",
month = "1",
day = "1",
doi = "10.1007/3-540-19426-6_6",
language = "English",
isbn = "9783540194262",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "80--94",
editor = "Hozumi Tanaka and Koichi Furukawa and Tetsunosuke Fujisaki",
booktitle = "Logic Programming 1987 - Proceedings of the 6th Conference",

}

TY - GEN

T1 - Deriving a compilation method for parallel logic languages

AU - Kohda, Youji

AU - Tanaka, Jiro

PY - 1988/1/1

Y1 - 1988/1/1

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

ER -