3. Österreichische Artificial-Intelligence-Tagung pp 125-132 | Cite as
VIP — eine integrierte Programmierumgebung für Prolog
- 35 Downloads
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.
Schlüsselworte
Prolog ProgrammierumgebungPreview
Unable to display preview. Download preview PDF.
Literatur
- [0]BRUYNOOGHE M., The Memory management of Prolog Implementations, in Logic Programming, Academic Press 1982Google Scholar
- [1]CLOCKSIN, W.F./MELLISH, C.S., Programming in Prolog, Springer Verlag, 1981.Google Scholar
- [2]FALKNER A., PAGE - Ein Parser-Generator-System für Prolog, DA 1802, Technische Universität Wien 1986.Google Scholar
- [3]FALKNER, A., Ein Debugger für VIP, TR 1802/86/6, Technische Universität Wien 1986.Google Scholar
- [4]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
- [5]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
- [6]KÜHN E., Design Principles for a Unified PROLOG Language, TR 1802/86/8, Technische Universität Wien 1986.Google Scholar
- [7]ROSNER G., VIP Editor, TR 1902/86/9, Technische Universität Wien 1986.Google Scholar
- [8]STERLING L./SHAPIRO E., The Art of Prolog, MIT Press, 1986.Google Scholar
- [9]SZEREDI P., Module concepts for PROLOG, SZKI-Collection of Papers on Logic Programming, Budapest, 1984.Google Scholar
- [10]WARREN D., Implementing Prolog - compiling predicate logic programs, University of Edinburgh, Department of AI, TR 39, TR 40, 1977Google Scholar