:- true pred append(_A,L,_B) : ( lnum(_A), lnum(L), var(_B) ) => ( lnum(_A), lnum(L), lnum(_B), length(_A,_C) ) + cost(ub,steps,_C+1).