Skip to main content

Die Behandlung graphischer Seiteneffekte beim Backtracking in Prolog

  • Conference paper
Informatik-Anwendungen — Trends und Perspektiven

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

  • 101 Accesses

Zusammenfassung

Im Rahmen des Projekts TOPOGRAPHIC wird zur Zeit am Lehrstuhl für Informationswissenschaft der Universität Konstanz ein Prototyp für ein wissensbasiertes Informationssystem mit graphischem Interface entwickelt. Der experimentelle Charakter dieses Systems erfordert den Einsatz einer Spezifikationssprache, die eine inkrementelle Entwicklung im Sinne des Rapid Prototyping ermöglicht. Die Entscheidung, dieser Spezifikationssprache eine um Graphik- und Wissensbasiszugriffsfunktionen erweiterte Prolog-Version zugrunde zu legen, gründet sich auf folgende Gesichtspunkte:

  • Prolog eignet sich sehr gut als Datenbahkabfragesprache (z.B. Futo et al. 1978)

  • Der Aufbau von Bildern läßt sich auf Datenbankoperationen zurückführen, mit denen die Repräsentation des Bildes in der Datenbank manipuliert wird. (Pereira 1986)

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

Access this chapter

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

  • Clocksin, W.F. (1984) Logic Programming and Prolog in: Chambers, F.B.; Duce, D.A.; Jones, G.P. Distributed Computing Academic Press London 1984

    Google Scholar 

  • Clocksin, W.F.; Mellish, C.S. (1984) Programming in Prolog Springer Verlag Berlin Heidelberg New York Tokio 1984

    Google Scholar 

  • Futo, I.; Darvas, F.; Szeredi P.; Igüszi, N. (1978) The Application of Prolog to the Development of QA and DM Systems in: Gallaire, H. Minker, J. Logic and Data Bases Plenum Press New York London 1978

    Google Scholar 

  • Lloyd, J. W. (1984) Foundations of Logic Programming Springer Verlag Berlin Heidelberg New York Tokio 1984

    MATH  Google Scholar 

  • Mallgren, W. R. (1982) Formal Specification of Interactive Graphics Programming Languages MIT Press Cambridge London 1982

    Google Scholar 

  • Pereira, F. C. N. (1986) Can drawing be Liberated from the von Neumann Style? in: Caneghem, M.; Warren, D. H. D. Logic Programming and its Applications Ablex Publishing Corporation Norwood, New Jersey 1986 pp 175–187

    Google Scholar 

  • Reiter, R. (1978) On Reasoning by Default In: Proc. 2nd Symposium on Theoretical Issues in Natural Language Processing pp. 210–218 Urbana 1978

    Google Scholar 

  • Warren, D. S. (1984) Database Updates in Pure Prolog in: Proceedings of the International Conference on Fifth Generation Computer Systems 1984 pp 244–252 North Holland 1984

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hammwöhner, R., Thiel, U. (1986). Die Behandlung graphischer Seiteneffekte beim Backtracking in 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_24

Download citation

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

  • 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