Add tuprolog engine