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 proceedingConference contribution

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 languageEnglish
Title of host publicationLogic Programming 1986 - Proceedings of the 5th Conference
EditorsEiiti Wada
PublisherSpringer-Verlag
Pages46-57
Number of pages12
ISBN (Print)9783540180241
DOIs
Publication statusPublished - 1987 Jan 1
Externally publishedYes
Event5th Conference on Logic Programming, 1986 - Tokyo, Japan
Duration: 1986 Jun 231986 Jun 26

Publication series

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

Conference

Conference5th Conference on Logic Programming, 1986
CountryJapan
CityTokyo
Period86/6/2386/6/26

    Fingerprint

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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