Swi-Prolog 数值约束

强调数值约束labeling参考这里
具体来讲，一个

:- use_module(library(clpfd)).

which_year(Y):-
    N in 1..100,
    labeling([min(N)],[N]),
    11*(1+0.065)**N > 18*(1+0.02)**N,
    Y is N + 2016.

查询最早中国GDP超过美国GDP的时间，2016年中国GDP大约11万亿美元，美国GDP大约18万亿；中国GDP增速是6.5%，美国增速是2%。