码农家园

关于prolog：物化整合问题

clpfdprologreification

使用变量(Sel)和值(枚举)的 Sicstus Prolog 自定义标签

clpfdprologsicstus-prolog