Integrazione di codice tuProlog in linguaggi .NET approcci a confronto 

Fabio Gravina

tuProlog è un interprete Prolog scritto in Java, di cui è stata realizzata una versione prototipale per la piattaforma Microsoft .NET tramite IKVM, uno strumento di traduzione automatica del bytecode Java. Tale traduzione include il porting del componente P@J della versione tuProlog4Java, che consente di esprimere inline in Prolog il body di un metodo java. Obiettivo di questa tesi è investigare in profondità analogie e differenze dell'iniezione di codice Prolog nei linguaggi disponibili su piattaforma .NET, con particolare riguardo all'inferenza dei tipi e al necessario, conseguente ampio collaudo.
Tags:
    

Thesis Data

2008 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna
0.2