CSM User's Guide

Enrico Denti, Antonio Natali, Andrea Omicini

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

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.

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}
Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY