🚀 go-pugleaf

From: fromherz@ifi.unizh.ch (Markus P. J. Fromherz)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: 6 Dec 90 14:34 +0100
Subject: <mod-ki 0604> Prolog Forum 13.12.90
Keywords: Vortraege

mod-ki message 0604            COPYRIGHT 1990 Hans-Werner Hein, Dortmund
************************************************************************
                             Prolog Forum
                             ------------

Thursday, Dec. 13, 1990, 12.30 at room 21-G-74 (below the mensa)
Institut fuer Informatik, University of Zuerich-Irchel

                            Paola Mello
                    DEIS - University of Bologna
 
                    STRUCTURED LOGIC PROGRAMMING
 
There are several proposals on how  to  extend  logic  programming  with
structuring concepts. Notions such as modules  and  blocks,  inheritance
among logic theories, viewpoints and hypothetical  reasoning  have  been
proposed.  A  general  framework  for  structuring  logic  programs   is
presented here in order to describe, integrate and efficiently implement
some of the above mentioned proposals. The framework is an extension  of
the basic Contextual Logic Programming.

A structured logic program is a set of logic theories  to  be  (possibly
dynamically) composed by suitable operators to form "contexts" which, in
turn,  provide  the  set  of  clause  definitions  for  proving   goals.
Static/dynamic      configurations      of      theories,      predicate
extension/overriding and evolving/conservative  binding  mechanisms  for
predicate calls are discussed.

Blocks, modules, inheritance-based systems  and  hypothetical  reasoning
are revisited in terms of these mechanisms of theory composition.

The advantages of defining such a general framework can be summarized as
follows:
  - its semantics (both declarative and operational) provides a unifying
    point  of  view  to  compare  other  proposals  (adopting  different
    semantic approaches);
  - its implementation - based on an extended Warren Abstract  Machine -
    efficiently  supports   different   structured   logic   programming
    languages;
  - the  general  framework  can  be  used  as  a  language  for   rapid
    prototyping and experimenting different ways  of  structuring  logic
    programs.


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