Tutti i documenti taggati con CSM

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