🚀 go-pugleaf

From: "Markus P.J. Fromherz" <unido!ifi.unizh.ch!fromherz>
To: mod-ki@unido.informatik.uni-dortmund.de
Date: 7 Jun 90 14:58 +0200
Subject: Prolog Forum
Keywords: Vortraege

mod-ki message 0479
************************************************************************

                            Prolog Forum
                            ------------
 
Thursday, June 14, 1990, 12.30 at the Studentenfoyer (Room 10-F-24)
Institut fuer Informatik, University of Zuerich-Irchel
 
                           Rainer Manthey
                           ECRC, Muenchen
 
 
         KBL: Entwurfsprinzipien einer neuen Programmiersprache
                      fuer deduktive Datenbanken
 
 
KBL (Knowledge Base Language) ist eine Sprache, die als Schnittstelle
fuer das ECRC Knowledge Base Management System EKS entworfen wurde. EKS
soll in erster Linie die effiziente Realisierbarkeit deduktiver
Datenbanktechnologie prototypisch demonstrieren. Eine erste Version von
EKS ist in Betrieb und wurde juengst auf zwei grossen internationalen
Datenbankkonferenzen (EDBT, ACM-SIGMOD) vorgestellt. KBL wird kuenftigen
Versionen von EKS als einheitliche Sprachumgebung dienen.
 
KBL ist eine Datenbankprogrammiersprache, die dem klassischen Ansatz der
Einbettung einer deklarativen Ausdruckssprache in eine imperative
Kommandosprache folgt. Damit weicht KBL von einem der Grundprinzipien
logischer Programmiersprachen ab, ein und dasselbe Programm entweder
deklarativ zu sehen, oder prozedural zu interpretieren. Beim Entwurf von
KBL wurde davon ausgegangen, dass beim Arbeiten mit grossen Wissensbasen
"echte" Deklarativitaet und eine vom System optimierte Auswertung von
Anfragen unerlaesslich sind, die etwa von Prolog nicht geboten werden.
Andererseits erscheint es uns sinnvoll, diejenigen Programmieraufgaben,
die sich natuerlich und angemessen in einem prozeduralen Stil ausdruecken lassen, auch nicht mit einer Ideologie universeller Deklarativitaet zu
belasten. KBL ist insofern keine logische Programmiersprache im ueblichen Sinn, bietet jedoch eine praedikatenlogische
Wissensrepraesentationssprache fuer Anfragen, Regeln und
Integritaetsbedingungen.
 
Im Vortrag werden nicht nur charakteristische Aspekte von KBL
vorgestellt, sondern auch konkurrierende Sprachphilosophien aus dem
Bereich der Datenbanken und der Logikprogrammierung kritisch betrachtet
und mit KBL in Beziehung gesetzt.
 
 
 
For more information:
 
    Markus Fromherz                   Tel.:   +41-1-257 4313 / 4311
    Institut fuer Informatik          E-Mail: fromherz@ifi.unizh.ch
    Universitaet Zuerich-Irchel
    Winterthurerstrasse 190
    CH-8057 Zuerich
************************************************************************