资源

入门示例(clp0)

/***************************************************************//*                                                             *//*S A S S A M P L E L I B R A R Y*//*                                                             *//*名称:clp0*//*标题:入门示例(clp0)*//*产品:或*//*系统:所有*//*关键字:或*//*程序:CLP*//*数据:*//*                                                             *//*支持:更新:*//*参考编号:*//*MISC:入门部分的示例*//*约束的CLP程序章节*//*编程书*//*                                                             *//***************************************************************//*发送更多资金*/proc clp dom=[0,9]/*定义默认域*/out=out;/*命名输出数据集*/var S E N D M O R E M O N E Y;/*声明变量*/lincon/*线性约束*//*发送+更多=金钱*/1000*S+100*E+10*N+D+1000*M+100*O+10*R+E=10000*M+1000*O+100*N+10*E+Y,S<>0,/*无前导零*/M≤0;alldiff();/*所有变量都有两两不同的值*/运行;进程打印数据=输出noobs;运行;/*八皇后区*/proc clp out=输出varselect=fifo;/*变量选择策略*/阵列A[8](A1-A8);/*定义阵列A*/var(A1-A8)=[1,8];/*定义数组中的每个变量*//*初始化域*//*A[i]是第i列中皇后的行号*/foreach(A,DIFF,0);/*A[i]是成对区分的*/foreach(A,DIFF,-1);/*A[i]-i是两两不同的*/foreach(A,DIFF,1);/*A[i]+i是两两不同的*/运行;proc打印数据=输出noobs标签;标签A1=a A2=b A3=c A4=dA5=e A6=f A7=g A8=h;运行;