tuProlog

tuProlog (2P in breve) è un framework Prolog leggero per applicazioni e infrastrutture distribuite: un motore minimale e configurabile dinamicamente per librerie, integrato senza soluzione di continuità, in modo ortogonale e bidirezionale, con Java e .NET

tuProlog — 2P in breve — è il motore Java su cui il progetto è nato, sviluppato nel gruppo di ricerca APICe dell'Alma Mater Studiorum—Università di Bologna e pubblicato qui dal 2001. È

• leggero: il core è un piccolo oggetto Java che contiene le sole proprietà essenziali di un motore Prolog, così che una attività tuProlog parta da un solo jar su una macchina virtuale standard
• configurabile: conformità ISO, predicati di I/O, operatori DCG e tutto il resto arrivano come librerie, caricate e scaricate staticamente o dinamicamente, scritte in Prolog, in Java, o in entrambi
• multi-paradigma: tramite JavaLibrary ogni oggetto, classe o package Java è un termine Prolog, usabile da Prolog; e un motore tuProlog è un normale oggetto Java, di cui possono convivere più istanze, ciascuna con le proprie librerie e la propria base di conoscenza
• multi-piattaforma: prima Java, poi .NET, poi Android e iOS, con un plug-in Eclipse dedicato

Il motore Java non è più mantenuto. Il suo successore è 2P-Kt, un reboot del progetto in Kotlin — non un port — dove lo sviluppo si è spostato dal 2020. I sorgenti restano disponibili, e l'ultima Guida tuProlog, 262 pagine, è tuttora il riferimento per il motore Java.

2P e tuProlog sono la stessa cosa: 2P è il nome breve che usano i sorgenti, i jar e i repository — 2p-java, 2p-net, 2p-android — e tuProlog è il nome per esteso.