From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support


pagemagnifierBibTeX_logo.pngmagnifierpage_white_acrobatmagnifier

Enrico Denti, Antonio Natali, Andrea Omicini

Evan Tick (a cura di)
“ICLP'93 Post-Conference Workshop on Practical Implementations and Systems Experience in Logic Programming”
Department of Computer and Information Science, University of Oregon, Budapest, Hungary
giugno 1993

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.

CIS-TR-93-12

Pubblicazione

— autori/autrici

— a cura di

Evan Tick

— stato

pubblicato

— tipo

articolo in atti

— data di pubblicazione

giugno 1993

— volume

ICLP'93 Post-Conference Workshop on Practical Implementations and Systems Experience in Logic Programming

— dove

PISELP @ ICLP'93

— indirizzo

Budapest, Hungary

note

— nota

CIS-TR-93-12

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