Techniques for Implementing Contexts in Logic Programming


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

Evelina Lamma, Paola Mello (eds.)
Extensions of Logic Programming, pages 339–358
Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence) 660
Springer
1993

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

Journals & Series

Events

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

Publications

Publications / Views

Home

Clouds
•  tags  •  authors  •  editors  •  journals  

Year
 2023    2022    2021    2020    2019    2018    2017    2016    2015    2014–1927

Sort
•  in journal  •  in proc  •  chapters  •  books  •  edited  •  spec issues  •  editorials  •  entries  •  manuals  •  tech reps  •  phd th  •  others  

Status
•  online  •  in press  •  proof  •  camera-ready  •  revised  •  accepted  •  revision  •  submitted  •  draft  •  note  

Services
•  ACM Digital Library  •  DBLP  •  IEEE Xplore  •  IRIS  •  PubMed  •  Google Scholar  •  Scopus  •  Semantic Scholar  •  Web of Science  •  DOI  

Publication

— authors

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

— editors

Evelina Lamma, Paola Mello

— status

published

— sort

paper in proceedings

— publication date

1993

— volume

Extensions of Logic Programming

— series

Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence

— volume

660

— pages

339–358

URLs

original page

identifiers

— DOI

10.1007/3-540-56454-3_17

— ACM

736334

— Scopus

2-s2.0-85028860344

— print ISSN

0302-9743

— print ISBN

3-540-56454-3

— online ISBN

978-3-540-47562-0

— ISBN–10

3-540-56454-3

notes

— note

3rd International Workshop (ELP'92), Bologna, Italy, 26-28 February 1992. Proceedings

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY