Skip to main content
SpringerLink
Log in

Vermeidung überflüssiger Berechnungen in Hornklausel-Programmen durch Vor-Laufzeit-Untersuchungen

  • Conference paper
GWAI-85

Part of the book series: Informatik-Fachberichte ((2252,volume 118))

  • 50 Accesses

Zusammenfassung

Eine Quelle der Ineffizienz bei der Auswertung von Hornklausel-Programmen liegt in dem in ihnen enthaltenen Nichtdeterminismus. Dieser führt oftmals zu überflüssigen Berechnungen, die zum Auffinden der gewünschten Lösung nichts beitragen. Das im folgenden vorgestellte, auf einer speziellen Termdarstellung basierende Verfahren soll helfen, einen Teil dieser nutzlosen Berechnungen von vornherein zu vermeiden. Zusätzlich können spezielle Arten von Programmschleifen erkannt und vor der Laufzeit in Terms-chablonen übersetzt werden, die zur Laufzeit bei gegebener aktueller Variablenbelegung das Resultat der Schleifenauswertung liefern.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Bruynooghe, M.: Intelligent Backtracking for an Interpreter of Horn Clause Logic Programs. Colloquium on Mathematical Logic in Programming, Salgotarjan, Hungary, 1978.

    Google Scholar 

  2. Cornery, J.S., Kibler, D.F.: AND-Parallelism in logic programs. Proc. Of the 8th International joint Conference on Artifical Intelligence, Karlsruhe 1983, s.539–543.

    Google Scholar 

  3. De Groot, D.: Restrictede AND-Parallelism. Proc. of the International Conference on Fifth Generation Computer Systems 1984, s. 471–478.

    Google Scholar 

  4. Kron, H.H.: Tree Templates and Subtree Transformational Grammers. PhD. Thesis, University of California, Santa cruz, 1975.

    Google Scholar 

  5. Kowalski, R.A.: Predicate Logic as a Programming Language. Proc. IFIPS 74, 1974.

    Google Scholar 

  6. Kowalski, R.A.: Logic for Problem Solving. Elsevier-North-Holland, New York, 1979.

    MATH  Google Scholar 

  7. Pereira, L.M., Porto, A.: An Interpreter of Logic Programs Using Selective Backtracking. Report 3/80, Departmento de Informatica, Universidade de Lisboa, 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik, Universität Kaiserslautern, 6750, Kaiserslautern, Deutschland

    Astrid Schmücker

Authors
  1. Astrid Schmücker
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Mathematische Maschinen und Datenverarbeitung VI, Friedrich-Alexander-Universität Erlangen-Nürnberg, Martensstraße 3, 8520, Erlangen, Deutschland

    Herbert Stoyan

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schmücker, A. (1986). Vermeidung überflüssiger Berechnungen in Hornklausel-Programmen durch Vor-Laufzeit-Untersuchungen. In: Stoyan, H. (eds) GWAI-85. Informatik-Fachberichte, vol 118. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71145-9_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-71145-9_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16451-7

  • Online ISBN: 978-3-642-71145-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation