tuProlog è un interprete Prolog scritto in Java, di cui è stata realizzata una versione prototipale per la piattaforma Apple iOS tramite RoboVM, uno strumento di traduzione automatica del bytecode Java. Tale traduzione al momento non comprende le librerie presenti nel progetto. Scopo di questa tesi è studiare una possibili traduzione di tali librerie, con particolare attenzione alla libreria esistente di interfacciamento Java/Prolog che aprirebbe nuovi scenari a situazioni blended Java/Swift (o Objective-C) /Prolog.
