tuprolog test