In questa tesi si progetta la prima versione di tuprolog.NET, allineata a tuProlog 1.2.0. Il porting è scritto in J# per minimizzare lo sforzo, ma, essendo tale linguaggio allineato a Java 1.1.4 (mentre tuprolog usa java 1.2), ha anche generato problemi, che vengono discussi e di cui viene presentata una soluzione. Il prototipo finale è funzionante e, pur con alcune limitazioni, è stato per anni il riferimento di tuProlog su piattaforma .NET