🚀 go-pugleaf

From: fromherz@ifi.unizh.ch (Markus P.J. Fromherz)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: 20 Dec 90 11:29 +0100
Subject: <mod-ki 0616> Prolog Forum 10.1.91
Keywords: Vortraege

mod-ki message 0616            COPYRIGHT 1991 Hans-Werner Hein, Dortmund
************************************************************************
                            Prolog Forum
                            ------------
Thursday,  Jan. 10, 1991,  12.30  at  room  21-G-74  (below  the  mensa)
Institut fuer Informatik, University of Zuerich-Irchel

                         Christian Holzbaur
                         Universitaet Wien


           IMPLEMENTIERUNG VON CONSTRAINT-MECHANISMEN IN PROLOG

Im  Vortrag  wird   eine   Methodik   fuer   die   Implementierung   von
Constraint-Inferenzmechanismen  basierend   auf   Jaffars   CLP   Schema
vorgestellt. Das Schema und  Instanzen  davon  werden  ueber  erweiterte
Unifikation realisiert. Ein besonderes Merkmal  des  konkreten  Ansatzes
ist,  dass  die  Loesungsalgorithmen   fuer   (Un)Gleichungen   in   den
algebraischen   Strukturen   per   Konstruktion   in   einer   logischen
Programmiersprache (Prolog) vorliegen.

Die Verwendung eines allgemeinen Schemas  fuer  die  Realisierung  einer
Vielfalt  von  Constraint-Mechanismen  hat  einen   unifizierenden   und
normalisierenden Einfluss, der mit den  momentan  ueblichen  punktuellen
Loesungen kontrastiert.

Die  Vorteile  der  Implementierung   von   Constraint-Mechanismen   via
erweiterter Unifikation sind aus der Sicht des Software Engineering  die
Deklarativitaet und Kompaktheit der Beschreibung  und  die  Uniformitaet
zwischen 'Objekt'-Programmen und den Programmen, welche die  Unifikation
erweitern.

Die Erfahrungen aus  der  (Re)Implementierung  von  CLP(R)  und  anderen
Constraint-Mechanismen  zeigen,  dass  auf  Basis  einer  guten   Prolog
Implementierung  der  residuale  Performanzabstand  zu   traditionellen,
prozeduralen Realisierungen vertretbar ist.

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
************************************************************************