tag : SICStus Prolog

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

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

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