【约束编程在过程语言中的实现】赵建明.pdf

提要描述计算模型的一个好的方法是通过声明一组变量,同时声明该变量集合的一个子集作为输入,道过给中该变量集合上的一组约束以获得满足该约束系统的解。约束式编程在保证程序的正确性,使程序简单明了,产生高效的程序等方面都有着巨大的潜力,是一种比较理想的编程方式。但是,由于约束系统的应用范围有限,很有必要把约束编程和过程编程加以结合以综合两方面本文讨论了通过预编译方式对嵌入在C语言中的约束式程序进行处理的过程,计算模型被表示成一组约束,通过对一个约束程序指定不同的输入集,同样的约束程序能用于完成不同的计算过程。

第一章介绍第一章介绍约束系统是用于描述计算的一种自然方式,在约束系统中,给出一组约束,给出其中的已知交量集,获得满足约束的未知变量的值,是一种接近人类思维的编程方法,也是一种比较智能化过程式语言,如C、C+解决问题的方法是通过给出一组机器指令,一步步完成问题的求解。相比之下,约束编程只需声明问题实体之间的关系,具体求解过程是由系统来自动完成的.约束表示了一组实体之间的关系,举个例子:C=(F-32)*5/9 这个约束表明了华氏温度和摄氏温度之间的转换关系,其中“”表示相等而非赋值,约束说明列举了当求解一组变量值时必需满足和维持一致的一组约束。

第一章介绍约束的一个主要功能就是建模,约束是描述许多应用的一种自然语言。约束式语言包含两个方面,定义知行为,可以被分别处理,一旦定义是正确的,就可以得生他们的行为,通过定义和行为的分离,编程人员可以把精力更多地集中于建模.虽然建模不是约束式语言所特有的特点,但对问题的正确建模对产生高效率的程序有着重大的意义。约束式建模主要用于V LSI电路的设计和验证方面,以下举个简单的例子:电路中常用的一个元件叫全加器,他的逻辑函数为:S=!A!BC+!A!B!C+A!B!C+A,BC C=!A,B,C+A!B,C+A,B,!