tag : SICStus Prolog
5 publications
Moving Prolog Toward Objects (book chapter, 1994) — Enrico Denti, Antonio Natali, Andrea Omicini From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support (paper in proceedings, 1993) — Enrico Denti, Antonio Natali, Andrea Omicini Objects with State in CSM (paper in proceedings, 1993) — Antonio Natali, Andrea Omicini Implementing Contexts in Logic Programming (paper in proceedings, 1992) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini CSM User's Guide (technical report, 1992) — Enrico Denti, Antonio Natali, Andrea Omicini