Skip to main content

VIP — eine integrierte Programmierumgebung für Prolog

  • Conference paper
3. Österreichische Artificial-Intelligence-Tagung

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

  • 37 Accesses

Kurzfassung

Dieser Beitrag beschreibt den Entwurf und die Implementierung von VIP (Vienna Integrated Prolog). VIP besteht aus drei Komponenten: Der Kern umfaßt einen Zwischencodeinterpreter, einen inkrementellen Compiler, einen Memory-Manager, einen Window-Manager und eine Betriebssystemschnittstelle. Zur Programmierumgebung gehören ein syntaxgesteuerter Prologeditor, ein intelligentes Debugging-System sowie diverse Testhilfen. Auf der Applikationsebene werden das logikorientierte Datenbanksystem VIP-DBS, eine Expertsystemshell, ein Maskengenerator, ein Spreadsheetprogramm, der Parsergenerator VIP-PAGE und ein natürlichsprachiges Interface für Deutsch zur Verfügung gestellt. VIP-Prolog ist eine Übermenge von DEC-10 Prolog. Die Erweiterungen enthalten ein Modulkonzept, die Unterstützung globaler Variablen und eine große Auswahl an Systemprädikaten.

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

  1. BRUYNOOGHE M., The Memory management of Prolog Implementations, in Logic Programming, Academic Press 1982

    Google Scholar 

  2. CLOCKSIN, W.F./MELLISH, C.S., Programming in Prolog, Springer Verlag, 1981.

    Google Scholar 

  3. FALKNER A., PAGE - Ein Parser-Generator-System für Prolog, DA 1802, Technische Universität Wien 1986.

    Google Scholar 

  4. FALKNER, A., Ein Debugger für VIP, TR 1802/86/6, Technische Universität Wien 1986.

    Google Scholar 

  5. FRÜHWIRTH T./KÜHN E., VIP-DBS ein logikorientiertes Datenbank Management System unter VIP-Prolog, in: SCHULZ A. (Hrsg.), Die Zukunft der Informationssysteme, Oldenbourg, 1986.

    Google Scholar 

  6. KRALL A., Implementation of a High Speed PROLOG Interpreter, in: Proceedings of the Symposion on Interpreters and Interpretative Techniques, SIGPLAN 22, Nr. 7, 1987.

    Google Scholar 

  7. KÜHN E., Design Principles for a Unified PROLOG Language, TR 1802/86/8, Technische Universität Wien 1986.

    Google Scholar 

  8. ROSNER G., VIP Editor, TR 1902/86/9, Technische Universität Wien 1986.

    Google Scholar 

  9. STERLING L./SHAPIRO E., The Art of Prolog, MIT Press, 1986.

    Google Scholar 

  10. SZEREDI P., Module concepts for PROLOG, SZKI-Collection of Papers on Logic Programming, Budapest, 1984.

    Google Scholar 

  11. WARREN D., Implementing Prolog - compiling predicate logic programs, University of Edinburgh, Department of AI, TR 39, TR 40, 1977

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Krall, A., Kühn, E. (1987). VIP — eine integrierte Programmierumgebung für Prolog. In: Buchberger, E., Retti, J. (eds) 3. Österreichische Artificial-Intelligence-Tagung. Informatik-Fachberichte, vol 151. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-46620-5_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-46620-5_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18384-6

  • Online ISBN: 978-3-642-46620-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics