tuProlog tuProlog è un interprete Prolog scritto in Java, attualmente giunto alla versione 2.5. Alcuni anni fa era stato progettato, per la versione all'epoca disponibile, un supporto per il multitasking esplicito, il cui prototipo però non era stato incluso nelle distribuzioni ufficiali a causa del parallelo sviluppo di altre funzionalità più prioritarie e della successiva riorganizzazione del motore.
Più recentemente, nell'ambito dello sviluppo di una libreria per comunicazioni, è stato studiato un supporto di base al multi-threading per l'attuale motore.
Obiettivo di questa tesi è riprendere il lavoro recente, farne un'analisi critica, sottoporlo ad ampio testing e valutarne l'ampliamento/integrazione alla luce del lavoro più ampio svolto 4 anni fa, giungendo se possibile a sviluppare un prototipo in grado di funzionare su tutte le piattaforme attualmente supportate (JavaSE 7, .NET, Android, Eclipse plugin).