tag : Prolog
17 publications
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (paper in proceedings, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini 2P-Kt: logic programming with objects & functions in Kotlin (paper in proceedings, 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini Towards Logic Programming as a Service: Experiments in tuProlog (paper in proceedings, 2016) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini Designing a Development Environment for Logic and Multi-Paradigm Programming (paper in proceedings, 2009) — Giulio Piancastelli, Enrico Denti Towards a Logic Language and Framework for Web Programming (paper in proceedings, 2009) — Giulio Piancastelli, Andrea Omicini, Enrico Denti Integrating Java and Prolog through Generic Methods and Type Inference (paper in proceedings, 2008) — Maurizio Cimadamore, Mirko Viroli A Prolog-oriented extension of Java programming based on generics and annotations (paper in proceedings, 2007) — Maurizio Cimadamore, Mirko Viroli Multi-paradigm Java-Prolog Integration in tuProlog (article in journal, 2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci The LuCe Coordination Technology for MAS Design and Development on the Internet (paper in proceedings, 2000) — Enrico Denti, Andrea Omicini, Vladimiro Toschi Implementing the ACLT Coordination Model (technical report, 1999) — Enrico Denti Moving Prolog Toward Objects (book chapter, 1994) — Enrico Denti, Antonio Natali, Andrea Omicini Objects with State in CSM (paper in proceedings, 1993) — Antonio Natali, Andrea Omicini Objects with State in Contextual Logic Programming (paper in proceedings, 1993) — Antonio Natali, Andrea Omicini Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (paper in proceedings, 1992) — Enrico Denti, 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 Quintus Prolog 3.0 (article in journal, 1991) — Ken Johnson