tag : Prolog

Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (JELIA 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini

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

Towards Logic Programming as a Service: Experiments in tuProlog (WOA 2016) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini

Designing a Development Environment for Logic and Multi-Paradigm Programming (2009) — Giulio Piancastelli, Enrico Denti

Towards a Logic Language and Framework for Web Programming (2009) — Giulio Piancastelli, Andrea Omicini, Enrico Denti

Integrating Java and Prolog through Generic Methods and Type Inference (2008) — Maurizio Cimadamore, Mirko Viroli

A Prolog-oriented extension of Java programming based on generics and annotations (2007) — Maurizio Cimadamore, Mirko Viroli

Multi-paradigm Java-Prolog Integration in tuProlog (Science of Computer Programming, 2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci

The LuCe Coordination Technology for MAS Design and Development on the Internet (2000) — Enrico Denti, Andrea Omicini, Vladimiro Toschi

Implementing the ACLT Coordination Model (1999) — Enrico Denti

Moving Prolog Toward Objects (1994) — Enrico Denti, Antonio Natali, Andrea Omicini

Objects with State in CSM (1993) — Antonio Natali, Andrea Omicini

Objects with State in Contextual Logic Programming (PLILP’93) — 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

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

Quintus Prolog 3.0 (1991) — Ken Johnson