tuProlog è un interprete Prolog scritto in Java e interoperabile con tale linguaggio. Recentemente ne è stata sviluppata un'estensione prototipale che lo estende verso un labelled system, ossia un sistema in cui gli enti del linguaggio possono essere etichettati ed è possibile specificare un modello computazionale per trattare tali etichette, gestendo tale computazione "in parallelo" a quella base del sistema ospite. Nel caso specifico di Labelled tuProlog, il risultato è un prototipo di sistema di Labelleled Logic Programming. Tale estensione mira all'utilizzo nel pervasive computing, con particolare attenzione alla proprietà di situatedness di tali ambienti.
In questo quadro, la tesi si pone come obiettivo la definizione e realizzazione di una libreria Java per computazioni simboliche che utilizzino dati catturati dall'ambiente attraverso sensori, definendo un'interfaccia di interazione tra etichette e transducer e abilitando di conseguenza la comunicazione tra mondo Prolog e mondo dei sensori. La tesi prevede una parte di investigazione, una parte di sviluppo Java e una successiva parte sperimentale utilizzando RaspberryPi2, con alcuni sensori del GrovePi starter kit.