tuProlog è un interprete Prolog in Java e interoperabile con esso in varie modalità: tra queste, JavaLibrary permette di accedere a oggetti e classi Java da Prolog. Da questo punto di vista, le novità linguistiche introdotte in Java 8 - in particolare, lambda expressions e (parzialmente) funzioni come first-class entities - aprono uno scenario interessante. Scopo di questa tesi è valutare fattibilità e potenzialità di una estensione dell'attuale approccio di integrazione, studiando in che forme mappare le lambda expressions di Java 8 nella JavaLibrary e valutando l'opportunità di un mapping fra termini Prolog che siano "evaluable functors" e first-class functions di Java 8.
