2P-Kt / tuProlog

tuProlog (2P in breve) è un framework per la programmazione logica che supporta la programmazione multi-paradigma attraverso una integrazione senza soluzione di continuità, ortogonale e bidirezionale tra il paradigma logico e quello orientato agli oggetti 2P-Kt (tuProlog in Kotlin) è un reboot del progetto tuProlog basato su Kotlin volto a fornire un ecosistema generale, estensibile e interoperabile per la programmazione logica e l'intelligenza artificiale simbolica

Il progetto ha avuto due implementazioni, a vent'anni di distanza, e ciascuna ha qui le proprie pagine. Non sono due versioni dello stesso codice: 2P-Kt è un reboot, riscritto da zero in un altro linguaggio, su un'altra architettura, sotto un'altra licenza.

implementazione	che cos'è	dal	licenza
tuProlog	il motore Java leggero, poi portato su .NET, Android e iOS — non più mantenuto	2001	LGPL
2P-Kt	l'ecosistema Kotlin multi-piattaforma per la IA simbolica — corrente	2020	Apache 2.0

tuProlog	2P-Kt

Pubblicazioni, presentazioni e tesi sono elencate su entrambe le serie di pagine, ciascuna sotto il proprio tag; questa pagina tiene insieme le due liste, come ha sempre fatto. Tutto il resto — documentazione, download, sorgenti, licenza — è specifico dell'una o dell'altra implementazione, e sta con essa.