Skip to main content
SpringerLink
Log in

OR-Parallel Optimizing Prolog System: Pops its design and implementation in Concurrent Prolog

  • Conference paper
  • First Online:
RIMS Symposia on Software Science and Engineering II

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 220))

Abstract

This paper describes a computational model of an OR-Parallel Optimizing Prolog System (POPS) based on a graph-reduction mechanism and multi-processing. POPS has the following features: 1) Programs are executed in OR-Parallel. 2) The same subcomputations are shared. 3) Left recursive rules can be handled without entering an infinite loop. At present, POPS is implemented in Concurrent Prolog supporting AND-Parallel execution and process synchronization mechanisms. This implementation shows that the OR-parallel execution of a logic program can be achieved by an AND-parallel execution mechanism.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hirakawa,H.: ‘Chart Parsing in Concurrent Prolog', ICOT Technical Report TR-008, 1983

    Google Scholar 

  2. Kay,M.: ‘Algorithm Schemata and Data Structures in Syntactic Processing', Xerox Technical Report, 1980

    Google Scholar 

  3. Kowalski, R.: ‘Logic for Problem Solving', North Holland, New York 1979

    Google Scholar 

  4. Pereira,F. and Warren,D.H.: ‘Definite Clause Grammar for Language Analysis — Survey of the Formalism and a Comparison with Augmented Transition Networks', Artificial Intelligence, 13, 1980

    Google Scholar 

  5. Shapiro,E.Y: ‘A Subset of Concurrent Prolog and Its Interpreter', ICOT Technical Report TR-003, 1983

    Google Scholar 

  6. Takeuchi,A: ‘Let's Talk Concurrent Prolog', ICOT Technical Memo TM-0008, 1983

    Google Scholar 

  7. D.A.Turner: ‘A New Implementation Technique for Applicative Languages', Software-Practice and Experience, No.1, vol.9, 1979

    Google Scholar 

  8. Warren,D.H.: ‘Logic Programming and Compiler Writing', DAI Research Paper No.128, 1980

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ICOT Research Center, 1-4-28 Minato-ku, Tokyo

    Hideki Hirakawa, Rikio Onai & Kohichi Furukawa

Authors
  1. Hideki Hirakawa
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rikio Onai
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kohichi Furukawa
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Eichi Goto Keijiro Araki Taiichi Yuasa

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hirakawa, H., Onai, R., Furukawa, K. (1986). OR-Parallel Optimizing Prolog System: Pops its design and implementation in Concurrent Prolog. In: Goto, E., Araki, K., Yuasa, T. (eds) RIMS Symposia on Software Science and Engineering II. Lecture Notes in Computer Science, vol 220. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16470-7_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-16470-7_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16470-8

  • Online ISBN: 978-3-540-39809-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation