tag : CSM

Moving Prolog Toward Objects (1994) — Enrico Denti, Antonio Natali, Andrea Omicini

From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support (1993) — Enrico Denti, Antonio Natali, Andrea Omicini

Objects with State in CSM (1993) — Antonio Natali, Andrea Omicini

Objects with State in Contextual Logic Programming (PLILP’93) — Antonio Natali, Andrea Omicini

Implementing Contexts in Logic Programming (ELP'92) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini

Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (GULP 1992) — Enrico Denti, Antonio Natali, Andrea Omicini

CSM User's Guide (1992) — Enrico Denti, Antonio Natali, Andrea Omicini