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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Miyazaki T, Taki K (1986) Flat GHC Implementation on Multi-PSI. The Logic Programming Conference '86, pp.83–92 (in Japanese)
Murakami K (1986) The Study of Unifier on Parallel Inference Machine, Tasking Group of Computer System, The Institute of Electronics and Communication Engineers of Japan (in Japanese)
Shapiro E Y (1984) Systolic Programming. A Paradigm of Parallel Processing, Proceedings of the International Conference on Fifth Generation on Computer Systems '84, pp.458–470
Ueda K (1985) Guarded Horn Clauses. ICOT Technical Report TR-103, Institute for New Generation Computer Technology, Tokyo
Ueda K, Chikayama T (1985) Concurrent Prolog Compiler on Top of Prolog, In Proc. 1985 Symp. on Logic Programming, IEEE Computer Society, pp. 119–126
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ohara, Y., Torii, S., Ono, E., Kishishita, M., Tanaka, J., Miyazaki, T. (1987). A prototype software simulator for FGHC. In: Wada, E. (eds) Logic Programming '86. LP 1986. Lecture Notes in Computer Science, vol 264. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18024-9_21
Download citation
DOI: https://doi.org/10.1007/3-540-18024-9_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18024-1
Online ISBN: 978-3-540-47712-9
eBook Packages: Springer Book Archive