来源:https://stackoverflow.com/questions/34460301/sicstus-prolog-4-3-2-clpfd-got-no-power 标签 prolog portability clpfd sicstus-prolog