CSM User's Guide
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Choose the export format from the list below:
- Office Formats (1)
-
Export as Portable Document Format (PDF) using the Web Browser
-
- Other Formats (2)
-
-
Export as HyperText Markup Language (HTML)
-
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”
Publications / Personal
Publications / Views
Home
— clouds
tags | authors | editors | journals
— per year
2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014–1927
— per sort
in journal | in proc | chapters | books | edited | spec issues | editorials | tech reps | phd th | others
— per status
online | in press | proof | camera-ready | revised | accepted | revision | submitted | draft | note
— services
ACM Digital Library | DBLP | IEEE Xplore | IRIS | PubMed | Google Scholar | Scopus | Semantic Scholar | Web of Science | DOI
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”