tag : object-oriented programming

2P-Kt: logic programming with objects & functions in Kotlin (WOA 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini

From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support (1993) — Enrico Denti, Antonio Natali, Andrea Omicini

Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (GULP 1992) — Enrico Denti, Antonio Natali, Andrea Omicini