-Added new tuprolog release
-Some alterations in the code to run a proof of concept.