Module und Streams in LISPLOG

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.