🚀 go-pugleaf

From: Ulrich Furbach <uli@lan.informatik.tu-muenchen.dbp.de>
To: mod-ki@unido.uucp
Date: 11 Aug 89 14:02 -0100
Subject: Konstanzer Prolog-Workshop
Keywords: Berichte

mod-ki message 0279
************************************************************************
                    Ein Konstanzer Prolog-Workshop
 
Als Ausklang der 1. Sueddeutschen  KI-Sommerschule  fand  am  4. 8. 1989
ein Workshop ueber aktuelle Probleme im Prolog-Umfeld statt.

Vortragende waren

- K. Estenfeld    ueber    Unifikation    in     endlichen     Algebren,
  objektorientiertes Programmieren,  Coroutining  und  Constraint  Logic
  Programming,

- U. Furbach ueber Erweiterungen in Richtung Praedikatenlogik  1. Stufe,
  Behandlung von Theorien und Parallelisierung,

- A. Bockmayr ueber ein Schema logischer  Programmiersprachen  bestehend
  aus   einem   allgemeinen   Deduktionsmechanismus    und    speziellen
  Constraint-Loesungsverfahren,

- R. Dietrich   ueber   Erweiterungen   von   reinem   Prolog    mittels
  Praeprocessing-Ansaetzen,
 
- I. Varsek  ueber  Sortenbehandlung  und   einen   neuen   Ansatz   zur
  Parallelisierung und

- C. Jaekel ueber den aktuellen Stand der Prolog-Normung bei ISO.

Als   ein   zentrales   Thema    hat    sich    das    Einbringen    von
anwendungsspezifischem Wissen in den  Abarbeitungsmechanismus  logischer
Programme herauskristallisiert.

Hauptpunkte waren dabei  Sorten,  Erweiterungen  der  Unifikationen  und
Constraints.

Die Gruende fuer die Einbringung von Sorten  sind  unterschiedlich,  zum
einen dienen sie zur Formulierung  und  Verarbeitung  von  taxonomischem
Wissen (objektorientierte Programmierung), zum anderen werden  sie  auch
als  Typkonzept  zur  sicheren  Programmierung  verwendet  ("well  typed
programs do not go wrong"). Behandelt werden Sorten  in  beiden  Faellen
durch einen speziellen Unifikationsalgorithmus.

Die Unifikation  kann  auch  gezielt  auf  Anwendungsbereiche  erweitert
werden,  z. B.  Unifikation  in  endlichen  Algebren  zur   Verifikation
kombinatorischer Schaltungen.

Ausser der Unifikation,  also  dem  Loesen  von  Gleichungs-Constraints,
zeichnet sich als ein ergiebiges Forschungs- und  Entwicklungsthema  die
Behandlung       allgemeiner       Constraints       innerhalb       des
Prolog-Abarbeitungsmechanismus ab. Solche Constraints koennen z.B. ueber
Arithmetik,  endlichen  Bereichen  oder  regulaeren  Mengen   formuliert
werden.   Es   wurden    auch    Anwendungen    fuer    Planungs-    und
Entscheidungsprobleme   vorgestellt.    Es    wurde    deutlich,    dass
Constraint-Loesungsverfahren nicht nur in der Resolution,  sondern  auch
in  anderen  Deduktionsmechanismen  wie  Termersetzung  oder   Narrowing
eingesetzt werden koennen.

Erweiterung von Prolog  kann  aber  auch  in  Richtung  Praedikatenlogik
1. Stufe verstanden  werden.  Fuer  die  Ausfuehrung  solcher  Programme
benoetigt man  dann  allerdings  effiziente  Theorembeweiser,  zu  deren
Implementierung die Erfahrungen aus Prolog-Systemen herangezogen  werden
kann.

Alternativ  zur  Integration  auf  Systemebene  wurde  auch  diskutiert,
Spracherweiterungen (Typen, Moduln, E/A-Modes) durch Praeprocessing nach
Prolog abzubilden.

Hatten   die   bisher   angesprochenen   Punkte   die   Erhoehung    der
Ausdrucksmaechtigkeit zum Ziele, so  war  ein  anderer  vieldiskutierter
Aspekt die Steigerung der Effizienz durch Parallelisierung. Hierzu wurde
ein bisher wenig beachteter Ansatz vorgestellt, der auf einer verteilten
Abarbeitung basiert. Jeder einzelne Prozessor arbeitet dabei  einen  nur
ihm zugeteilten Pfad des Suchbaumes ab.

Der Workshop wurde abgerundet durch einen Bericht  ueber  den  aktuellen
Stand der Standardisierung von Prolog. Uebereinstimmung  besteht  darin,
dass damit eine Festschreibung der bisher bestehenden Sprachelemente  in
kommerziellen Systemen erreicht  werden  soll.  Problematisch  erscheint
dabei vor allem ein Modulkonzept.

Abschliessend sei noch stichpunktartig  zusammengefasst,  welche  Themen
als  moegliche  Erweiterungen  von   Prolog   waehrend   des   Workshops
angesprochen wurden:

   Sorten, Theorie-Unifikation Constraints, Negation,
   Higher-Order-Unifikation, Praeprocessing,
   Meta-Interpreter, Datenbankanbindung,
   Parallelisierungsmoeglichkeiten und Bedieneroberflaeche.
 

gezeichnet: Bockmayr, Estenfeld, Furbach, Jaekel
am 4. 8. 1989 im EC "Schweizer-Land" nach Muenchen
************************************************************************