calc(LD,RD,_):- LD+RD>12000, !, fail. calc(_,_,1). calc(LD,RD,Result):- MD is LD+RD, calc(LD,MD,Result). calc(LD,RD,Result):- MD is LD+RD, calc(MD,RD,Result). main:- findall(E,calc(3,2,E),Es), length(Es,Ans), write(Ans).