Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Peter Borgwardt. Parallel prolog using stack segments on shared memory multiprocessors. In IEEE (editor), 84 Int. Symposium on Logic Programming, pages 2–11. February, 1984.
Andrzej Ciepielewski. Towards a Computer Architecture for Or-Parallel Execution of Logic Programs. PhD thesis, Royal Institute of Technology, Stockholm, May, 1984.
A. Ciepielewski and S. Haridi. Control of activities in the or-parallel token machine. In 84 IEEE logic programming conf, pages 49–57. February, 1984.
Andrzej Ciepielewski and Seif Haridi. Execution of bagof on the or-parallel token machine. In ICOT Conf. 84, pages 551–560. November, 1984.
A. Ciepielewski, S. Haridi and B. Hausman. Initial Evaluation of a Virtual Machine for Or-parallel Execution of Logic Programs. In UMIST (editor), IFIP TC-10 Working Conf. on Fifth Generation Computer Architecture. IFIP, Manchester, July 15–18, 1985.
Keith L. Clark and Steve Gregory. Parlog: A parallel logic programming language. Technical Report, Department of Computing, Imperial College, London, May, 1983.
K. Clark, S. Gregory. Parlog: parallel programming in logic. Technical Report DOC 84/4, Imperial College London, April, 1984.
K. Clark. S. Gregory. Parlog: parallel programming in logic. ACM Trans, on Programming languages and systems 8(1), January, 1986. to appear.
Steven Gregory. Design, Application and Implementation of a Parallel Logic Programming Language. PhD thesis, Imperial College of Science & Technology, September, 1985.
S. Gregory, R. Neely, G. Ringwood. Parlog for specification, verification and simulation. Draft, Department of Computing. Imperial College, London, January, 1985.
Hailperin and Westphal 85] Max Hailperin and Harald Westphal. An Empirical Study of Locality of Reference in Prolog. Technical Report CA-15, ECRC, 1985.
Seif Haridi and Andrzej Ciepielewski. An Or-parallel Token Machine. In Núcleo de Inteligencia Artificial, Universidade Nova de Lisboa (editor), Proc. 1983 Logic Programming Workshop, pages 536–552. Stockholm Sweden, June, 1983.
Noriyushi Ito. Masasuke Kishi, Eiji Kuno, Kazuaki Rokusawa. The Dataflow-based Parallel Inference Machine to Support Two Basic Languages in KLl. In UMIST (editor), IFIP TC-10 Working Conf, on Fifth Generation Computer Architecture. Manchester, July 15–18, 1985.
M. J. Ratcliffe and P. Robert. The Static Analysis of Prolog Programs. Technical Report CA-11, ECRC, October, 1985.
Ken Satoh. private communication. October, 1985 Fujitsu Laboratories Ltd.
Ehud Y. Shapiro. A subset of concurrent prolog and its interpreter. Technical Report, The Weizmann Institute of Science. Rehovot. February, 1983.
Y. Sohma, H. Masuzawa, A. Itashiki, K. Kumon, K. Satoh. Multi-Processor Model of Prolog. draft, Fujitsu Laboratories Ltd., 1984.
Yukio Sohma, Ken Satoh, Koichi Kumon, Hideo Masuzawa, Akihiro Itashiki. A New Parallel Inference Mechanism Based on Sequential Processing. In UMIST (editor), IFIP TC-10 Working Conf. on Fifth Generation Computer Architecture. Manchester, July 15–18, 1985.
Jean Claude Syre and Harald Westphal. A Review of Parallel Models for Prolog. Technical Report CA-07, ECRC, June, 1985.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Westphal, H. (1986). Eine Beurteilung paralleler Modelle für Prolog. In: Hommel, G., Schindler, S. (eds) Informatik-Anwendungen — Trends und Perspektiven. Informatik-Fachberichte, vol 126. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71388-0_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-71388-0_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16813-3
Online ISBN: 978-3-642-71388-0
eBook Packages: Springer Book Archive