:- true pred oins(X,_A,_B) : ( num(X), list(_A,num), var(_B) ) => ( num(X), list(_A,num), rt2(_B), length(_A,_C) ) + cost(ub,steps,_C+2).