Enrico Denti, Antonio Natali, Andrea Omicini

Implementations of Logic Programming Systems, pages 89-101
 1994
Kluwer Academic Publishers
Evan Tick, Giancarlo Succi (eds.)

This work presents the main features of CSM, a contextual logic programming system (fully compatible with the SICStus Prolog programming environment) which aims at supporting evolutive software development methodologies in logic programming. Rather than fixing a set of policies, CSM provides mechanisms for the (dynamic) configuration of structured theories, handled as first class objects. CSM mechanisms allow code reusability and sharing, and provide binding rules fully supporting object-oriented programming techniques, without undermining logic programming declarativeness. The implementation is a peculiar CSM aspect, since contexts are represented by descriptors (similar to SICStus module descriptors), configured at context creation time, with no modification at abstract machine level. While this choice implies relatively high costs for context creation, it prevents any semantics distortion or computational overhead with respect to standard (SICStus) Prolog programs, and allows users to exploit open, evolving software components at a cost comparable with that of more static approaches to program composition.

(keywords) contextual logic programming; modules; structured theories
 @incollection{oolp-ilps94,
Author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
Booktitle = {Implementations of Logic Programming Systems},
Doi = {10.1007/978-1-4615-2690-2_7},
Editor = {Tick, Evan and Succi, Giancarlo},
Isbn = {978-1-4613-6157-2},
Isbn-10 = {0-7923-9457-7},
Isbn-Online = {978-1-4615-2690-2},
Keywords = {contextual logic programming; modules; structured theories},
Pages = {89--101},
Publisher = {Kluwer Academic Publishers},
Title = {Moving {P}rolog Toward Objects},
Url = {http://link.springer.com/chapter/10.1007/978-1-4615-2690-2_7},
WosId = {A1994BB31B00007},
Year = 1994

Publication

— authors

Enrico Denti, Antonio Natali, Andrea Omicini

— editors

Evan Tick, Giancarlo Succi

— status

published

— sort

book chapter

Venue

— volume

Implementations of Logic Programming Systems

— pages

89-101

— publication date

1994

URLs

original page

Identifiers

— DOI

10.1007/978-1-4615-2690-2_7

— WoS / ISI

A1994BB31B00007

— print ISSN

978-1-4613-6157-2

— online ISSN

978-1-4615-2690-2

— print ISBN

0-7923-9457-7

— ISBN–10

0-7923-9457-7

BibTeX

— BibTeX ID
oolp-ilps94
— BibTeX category
incollection

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