Enrico Denti, Antonio Natali, Andrea Omicini

This work documents the CSM (Contexts as SICStus Modules) environment, a contextual logic programming framework built up from SICStus Prolog system. Contextual logic programming is a simple and straighforward extension to the logic paradigm, providing a versatile yet powerful mechanism to dynamically structure logic theories. With respect to the previous works, CSM offers the concept of context as a first-class object and an industrial-level programming framework. This work provides an introduction to CSM system, the full set of CSM operators, predicates and directives, and some tutorial examples of the CSM language.

Roma, Italy,  May 1992.  .
Progetto Finalizzato "Sistemi informatici e calcolo parallelo", Sottoprogetto "Linguaggi di nuova concezione"

Address = {Roma, Italy},
Author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
Institution = {CNR},
Month = may,
Note = {Progetto Finalizzato ``Sistemi informatici e calcolo parallelo'', Sottoprogetto ``Linguaggi di nuova concezione''},
Number = {4/70},
Pdf-Local = {CSM User's Guide.pdf},
Title = {{CSM} User's Guide},
Type = {CNR Technical Report},
Year = 1992}


— authors

Enrico Denti, Antonio Natali, Andrea Omicini

— status


— sort

technical report


— BibTeX ID
— BibTeX category

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