12、逻辑编程中的约束逻辑编程与答案集编程

逻辑编程中的约束逻辑编程与答案集编程

1. 约束逻辑编程（CLP）系统

CLP 有多个不同的系统，各有特点和优势，下面为你详细介绍：
- Gnu - Prolog ：源自 clp(fd) 系统，借助索引符引入了用于有限域约束的玻璃盒方法。它将 Prolog 代码编译成优化版的 WAM，是一个强大且高效的系统，官网为 http://www.gprolog.org/ 。
- Sicstus Prolog ：这是一个商业系统，可能是最完整的 Prolog 编译器之一，也是最有效的系统之一。它拥有众多库，可在生产环境中实现 Prolog 代码的接口，还具备面向对象的扩展，官网为 http://www.sics.se/sicstus/ 。
- Eclipse ：该系统源自 CHIP，是第一个引入有限域约束的系统，包含一些独特的库，官网为 http://eclipseclp.org/ 。
- Prolog IV ：虽不再维护，但最后版本仍可下载。它由 PrologIA 公司和马赛 CS 实验室创建，有超过 120 个用于实数、整数或列表之间约束的谓词，官网为