A prototype software simulator for FGHC

Y. Ohara; S. Torii; E. Ono; M. Kishishita; J. Tanaka; T. Miyazaki

doi:10.1007/3-540-18024-9_21

A prototype software simulator for FGHC

Y. Ohara, S. Torii, E. Ono, M. Kishishita, J. Tanaka, T. Miyazaki

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

Abstract

We have implemented a prototype software simulator for FGHC: Flat Guarded Horn Clauses, This simulator executes a pre-processed FGHC program in a distributed environment. In this paper, we describe the distributed computation model and its prototype software simulator. The evaluation results of sample programs using the simulator are also presented.

Original language	English
Title of host publication	Logic Programming 1986 - Proceedings of the 5th Conference
Editors	Eiiti Wada
Publisher	Springer Verlag
Pages	46-57
Number of pages	12
ISBN (Print)	9783540180241
DOIs	https://doi.org/10.1007/3-540-18024-9_21
Publication status	Published - 1987
Externally published	Yes
Event	5th Conference on Logic Programming, 1986 - Tokyo, Japan Duration: 1986 Jun 23 → 1986 Jun 26

Publication series

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

Conference

Conference	5th Conference on Logic Programming, 1986
Country/Territory	Japan
City	Tokyo
Period	86/6/23 → 86/6/26

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/3-540-18024-9_21

Cite this

Ohara, Y., Torii, S., Ono, E., Kishishita, M., Tanaka, J., & Miyazaki, T. (1987). A prototype software simulator for FGHC. In E. Wada (Ed.), Logic Programming 1986 - Proceedings of the 5th Conference (pp. 46-57). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 264 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-18024-9_21

A prototype software simulator for FGHC. / Ohara, Y.; Torii, S.; Ono, E. et al.
Logic Programming 1986 - Proceedings of the 5th Conference. ed. / Eiiti Wada. Springer Verlag, 1987. p. 46-57 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 264 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Ohara, Y, Torii, S, Ono, E, Kishishita, M, Tanaka, J & Miyazaki, T 1987, A prototype software simulator for FGHC. in E Wada (ed.), Logic Programming 1986 - Proceedings of the 5th Conference. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 264 LNCS, Springer Verlag, pp. 46-57, 5th Conference on Logic Programming, 1986, Tokyo, Japan, 86/6/23. https://doi.org/10.1007/3-540-18024-9_21

Ohara Y, Torii S, Ono E, Kishishita M, Tanaka J, Miyazaki T. A prototype software simulator for FGHC. In Wada E, editor, Logic Programming 1986 - Proceedings of the 5th Conference. Springer Verlag. 1987. p. 46-57. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-18024-9_21

@inproceedings{12fdfbbd9b6342c5ba1b3ce25a32dfc8,

title = "A prototype software simulator for FGHC",

abstract = "We have implemented a prototype software simulator for FGHC: Flat Guarded Horn Clauses, This simulator executes a pre-processed FGHC program in a distributed environment. In this paper, we describe the distributed computation model and its prototype software simulator. The evaluation results of sample programs using the simulator are also presented.",

author = "Y. Ohara and S. Torii and E. Ono and M. Kishishita and J. Tanaka and T. Miyazaki",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1987.; 5th Conference on Logic Programming, 1986 ; Conference date: 23-06-1986 Through 26-06-1986",

year = "1987",

doi = "10.1007/3-540-18024-9_21",

language = "English",

isbn = "9783540180241",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "46--57",

editor = "Eiiti Wada",

booktitle = "Logic Programming 1986 - Proceedings of the 5th Conference",

}

TY - GEN

T1 - A prototype software simulator for FGHC

AU - Ohara, Y.

AU - Torii, S.

AU - Ono, E.

AU - Kishishita, M.

AU - Tanaka, J.

AU - Miyazaki, T.

PY - 1987

Y1 - 1987

N2 - We have implemented a prototype software simulator for FGHC: Flat Guarded Horn Clauses, This simulator executes a pre-processed FGHC program in a distributed environment. In this paper, we describe the distributed computation model and its prototype software simulator. The evaluation results of sample programs using the simulator are also presented.

AB - We have implemented a prototype software simulator for FGHC: Flat Guarded Horn Clauses, This simulator executes a pre-processed FGHC program in a distributed environment. In this paper, we describe the distributed computation model and its prototype software simulator. The evaluation results of sample programs using the simulator are also presented.

UR - http://www.scopus.com/inward/record.url?scp=85036452564&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85036452564&partnerID=8YFLogxK

U2 - 10.1007/3-540-18024-9_21

DO - 10.1007/3-540-18024-9_21

M3 - Conference contribution

AN - SCOPUS:85036452564

SN - 9783540180241

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 46

EP - 57

BT - Logic Programming 1986 - Proceedings of the 5th Conference

A2 - Wada, Eiiti

PB - Springer Verlag

T2 - 5th Conference on Logic Programming, 1986

Y2 - 23 June 1986 through 26 June 1986

ER -

A prototype software simulator for FGHC

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this