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öße | Format | |
---|---|---|---|---|
SEKI-Working-Paper-SWP-87-06_Dahmen_Module-und-Streams-in-LISPLOG.pdf | 15,26 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.