Inserire una breve descrizione delle modifiche fatte
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
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 finanziatore
PFCNR-SICALPAR — Progetto Finalizzato del Consiglio Nazionale delle Ricerche "Sistemi Informatici e Calcolo parallelo" (01/01/1989–31/12/1994)
PFCNR-SICALPAR — Progetto Finalizzato del Consiglio Nazionale delle Ricerche "Sistemi Informatici e Calcolo parallelo" (01/01/1989–31/12/1994)