All pages tagged with SICStus Prolog

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