:- 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).