A/B:-B is A+round(A^0.5). m:-numlist(2,90,A),maplist(/,A,B),write(B).