Andrea Omicini  /  Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini

To face the need of structuring mechanisms for logic programming, various proposals have been made during the last years; the approach which we concentrate on today, t.i.t.s. contextual logic programming, has been chosen by our group as the most promising one, from both the theoretical and the implementation point of view.
The main idea of contextual logic programming is to provide programmers with a simple mean to build software components they need, both statically and dynamically in a uniform way. 

In this talk, we describe our main results concerning the implementation of the context abstraction as an extension of Prolog.

This talk discusses Implementing Contexts in Logic Programming (paper in proceedings, 1992) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini, presented at 3rd Workshop on Extension of Logic Programming (ELP'92) — 26/02/1992–28/02/1992, later extended and published as Techniques for Implementing Contexts in Logic Programming (paper in proceedings, 1993) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini.

Events

  • 3rd Workshop on Extension of Logic Programming (ELP'92) — 26/02/1992–28/02/1992

Publications

Tags:

Talk

— speakers

— authors

Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini

— sort

talk

— language

wgb.gif

Context

— where

Bologna, Italy

— when

26/02/1992

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY