Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-42857
Titel: Module und Streams in LISPLOG
VerfasserIn: Dahmen, Michael
Sprache: Englisch
Erscheinungsjahr: 1987
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: This paper discusses two extensions of the LISPLOG system, called modules and streams. The module system enables the LISPLOG user to build up his program from a number of seperate databases (modules). The interaction between the modules is defined by special interfaces. The result is a hierarchical structure of the LISPLOG database. The second part describes an extension of the LISP-LISPLOG interface for delayed computation of the solutions of a LISPLOG inquiry. Therefore it becomes possible to compute any number of solutions without specifying that number before the computation starts. Even an infinite number of solutions may be intensional represented by means of a stream.
Diese Arbeit beschreibt zwei in LISP realisierte, konzeptuelle Erweiterungen des LISPLOG-Systems naemlich Module und Streams. Das im ersten Teil dargestellte Modulsystem ermoeglicht es, in einem LISPLOG-Programm beliebig viele getrennte Datenbasen (Module) zu haben, die ueber definierte Schnittstellen miteinander kommunizieren. Das Modulsystem erlaubt eine hierarchische Strukturierung der LISPLOG-Datenbasis. Der zweite Teil beschreibt eine Erweiterung der LISP-LISPLOG-Schnittstelle zur verzoegerten Berechnung der Loesungen einer LISPLOG-Anfrage. Dadurch wird es moeglich, beliebig viele Loesungen einer Anfrage zu bestimmen, ohne vor Beginn der Berechnung eine Obergrenze fuer die Anzahl der Loesungen anzugeben. Man kann daher auch unendlich viele Loesungen einer Anfrage intensional in Form eines partiell evaluierten Datenstroms (stream) darstellen.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-428574
hdl:20.500.11880/38442
http://dx.doi.org/10.22028/D291-42857
Schriftenreihe: SEKI working paper : SWP ; SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1860-5931]
Band: 87,6
Datum des Eintrags: 17-Sep-2024
Fakultät: SE - Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professur: SE - Sonstige
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Dateien zu diesem Datensatz:
Datei Beschreibung GrößeFormat 
SEKI-Working-Paper-SWP-87-06_Dahmen_Module-und-Streams-in-LISPLOG.pdf15,26 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.