Techniques for Implementing Contexts in Logic Programming

  title={Techniques for Implementing Contexts in Logic Programming},
  author={Enrico Denti and Evelina Lamma and Paola Mello and Antonio Natali and Andrea Omicini},
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… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 19 references

In: S

SICStus Prolog
Costantini (ed.): Proceedings 7th Italian Conference on Logic Programming, Tremezzo, Italy, June • 1992
View 4 Excerpts
Highly Influenced

Virtual Predicate Tables for Implementing Inheritance in Logic Programming

M. Bugliesi
Technical Report, University of Padova, • 1992

In: K

Constructs in Logic Programming
Furukawa (d.): Proceedings of the 8th International Conference on Logic Programming, Paris (F), The MIT Press, Cambridge (USA), pp. 871-886, • 1991
View 1 Excerpt

A General Framework for Structuring Logic Programs. C.N.R

A. Brogi, E. Lamma, P Mello
Technical Report “Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo”, • 1990

Implementing Structured Logic Programs on a Dedicated VLSI Coprocessor

P. L. Civera, E. Lamma, +3 authors M. Zamboni
Proceedings Workshop on VLSI for Artificial Intelligence and Neural Networks, • 1990

Similar Papers

Loading similar papers…