Skip to main content
SpringerLink
Log in
Book cover

Informatik-Anwendungen — Trends und Perspektiven pp 137–150Cite as

Und-Parallelismus und Effizientes Backtracking Von Prolog-Prozeduren

  • Conference paper

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 126))

Abstract

Effizientes Backtracking von Prolog-Programmen kann bereits durch statische Optimierung auf einem Standard-Interpreter mittels eines Vorübersetzers und Meta-Interpreters erzielt werden. Zwei Verfahren werden dargestellt und miteinander verglichen. Das erste beruht auf der Bestimmung effizienter Backtrackpfade durch Datenabhängigkeitsanalyse, das zweite auf der Lokalisierung von (bedingten) Problemunabhängigkeiten und potentiellem Und-Parallelismus. Damit können unter gewissen Bedingungen exponentielle Laufzeitverbesserungen erzielt werden.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. J. S. Conery, D. F. Kibler: “AND Parallelism in Logic Programs”, Proceedings 8th IJCAI, Karlsruhe, 1983, S. 539–543.

    Google Scholar 

  2. J. C. Conery, D. F. Kibler, “AND Parallelism and Nondeterminism in Logic Programs”, New Generation Computing, Vol. 3, No. 3, S. 43–70.

    Google Scholar 

  3. M. Bruynooghe, L. M. Pereira: “Deduction revision by intelligent backtracking”, in: A. Campbell (Hrsg.): “Implementation of Prolog”, Ellis Horwood Limited, Chichester, 1984

    Google Scholar 

  4. J-H. Chang, A. M. Despain, D. DeGroot: “AND-Parallelism of Logic Programs Based on a Static Data Dependency Analysis”, Digest of Papers of COMPCOM Spring 85, 1985, S. 218–225.

    Google Scholar 

  5. J-H. Chang, A. M. Despain: “Semi-Intelligent Backtracking of Prolog Based on a Static Data Dependency Analysis”, 1985 Symposium on Logic Programming, Boston 1985, S. 10–21.

    Google Scholar 

  6. L. Plümer: “Ein Vorübersetzer und Meta-Interpreter für effizientes Backtracking von Prolog-Programmen”, Diplomarbeit, Universität Dortmund, Abteilung Informatik, 1986.

    Google Scholar 

  7. E. Freuder, M. Quinn: “Taking Advantage of stable sets of variables in constraint satisfaction problems”, Proceedings 9th IJCAI, 1985.

    Google Scholar 

  8. C. S. Mellish: “The Automatic Generation of Mode Declarations for Prolog Programs”, DAI Research Paper No. 163, University of Edinburgh, 1981.

    Google Scholar 

  9. L. Stockmeyer: “Planar 3-Colorability is Polynomial Complete”, SIGACT News, Vo. 5, Nr. 3, 1973.

    Google Scholar 

  10. S. Even: “Graph Algorithms”, London, 1979.

    MATH  Google Scholar 

  11. C. H. Hogger: “Introduction to Logic Programming”, London, 1984.

    MATH  Google Scholar 

  12. J. W. Lloyd, R. W. Topor: “A Basis for Deductive Data Base Systems, Journal of Logic Programming, Vol. 2, Nr. 2, S. 93–109, 1985.

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik (LS VI), Universität Dortmund, 4600, Dortmund 50, Germany

    Lutz Plümer

Authors
  1. Lutz Plümer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. TU Berlin, Franklinstr. 28/29, 1000, Berlin 10, Germany

    G. Hommel  & S. Schindler  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Plümer, L. (1986). Und-Parallelismus und Effizientes Backtracking Von Prolog-Prozeduren. 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_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-71388-0_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16813-3

  • Online ISBN: 978-3-642-71388-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation