fix tuprolog bug