Techniques for Implementing Contexts in Logic Programming

In this paper we discuss different techniques for implementing an extension of logic programming for knowledge structuring. The extension we consider, in particular, is based on Contextual Logic Programming. Three different implementation approaches are considered first: meta-interpretation, translation into Prolog code and compilation on an extended Warren Abstract Machine. These approaches are compared from the point of view of both methodology and efficiency. In the last part of the paper we consider a more effective implementation, developed on an industrial Prolog enhanced with the module construct.

keywords   Virtual Machine, Logic Program, Logic Programming, Hypothetical Reasoning, Program Clause

reference talk

 Implementing Contexts in Logic Programming (ELP'92, 26/02/1992) — Andrea Omicini (Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini)

origin event

 ELP'92

journal or series

 Lecture Notes in Computer Science (LNCS)

funding project

 PFCNR-SICALPAR — Progetto Finalizzato del Consiglio Nazionale delle Ricerche "Sistemi Informatici e Calcolo parallelo" (01/01/1989–31/12/1994)

reference publication for talk

 Implementing Contexts in Logic Programming (ELP'92, 26/02/1992) — Andrea Omicini (Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini)

superseding publication for

 Implementing Contexts in Logic Programming (paper in proceedings, 1992) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini