Swi-Prolog 数值约束

xiaoxiao2021-03-25 16

强调数值约束labeling

:- use_module(library(clpfd)). which_year(Y):- Y in 1..100, labeling([min(Y)],[Y]), 11*(1+0.065)**Y > 18*(1+0.02)**Y.

转载请注明原文地址: https://ju.6miu.com/read-300366.html

技术

最新回复(0)