CSM User's Guide


pagemagnifierBibTeX_logo.pngmagnifierpage_white_acrobatmagnifier

Enrico Denti, Antonio Natali, Andrea Omicini

CNR
Technical Report 4/70
May 1992

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.

Progetto Finalizzato “Sistemi informatici e calcolo parallelo”, Sottoprogetto “Linguaggi di nuova concezione”

Publication

— authors

— status

published

— sort

technical report

— publication date

May 1992

— issue

4/70

— address

Rome, Italy

— institution

CNR

— type

Technical Report

notes

— note

Progetto Finalizzato “Sistemi informatici e calcolo parallelo”, Sottoprogetto “Linguaggi di nuova concezione”

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