由雅克•科恩
ACM来文，1990年7月，第33卷，第7号，第52-68页
10.1145/79204.79209
评论
约束逻辑编程(CLP)是逻辑编程的一种扩展，旨在用一种更通用的称为约束满足的操作来取代Prolog中使用的统一模式匹配机制。本文全面介绍了在设计和实现CLP语言方面的最新工作。本文还总结了它们的理论基础，讨论了实现问题，比较了主要的CLP语言，并建议了进一步工作的方向。
本文的全文是优质内容
没有发现记录
登录阅读全文
需要访问吗?
请选择以下选项之一，以访问优质内容和功能。
创建Web帐户
如果您已经是ACM会员，通信数码图书馆的订阅者，请建立一个网页帐户，以访问本网站的优质内容。
参加ACM
成为ACM的会员可以充分利用ACM杰出的计算信息资源、联网机会和其他好处。
订阅ACM通讯杂志
获得《中华文化纵横》50年以上的完整内容，每月获得印刷版。
购买这篇文章
非会员可以购买这篇文章或它所在的杂志。
