All pages tagged with CSM

• CSM User's Guide
• Implementing Contexts in Logic Programming
• Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System
• Objects with State in CSM
• From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support
• Moving Prolog Toward Objects
• Objects with State in Contextual Logic Programming