18、TOY与ILOG CP之间的通信详解

TOY与ILOG CP之间的通信详解

1. SICStus Prolog与C++的连接

在函数逻辑编程（FLP）领域，TOY系统因其灵活性和强大的约束求解能力而备受关注。为了增强TOY的功能，研究人员尝试将ILOG CP技术集成到TOY中。ILOG CP以其高效的约束求解器闻名，特别适用于有限域（FD）约束问题。然而，TOY是在SICStus Prolog中实现的，而ILOG CP是用C++实现的，这带来了跨语言通信的挑战。

1.1 Prolog与C++的映射

为了实现SICStus Prolog应用程序与C++组件之间的通信，需要通过一组链接的Prolog谓词与C++函数进行映射。具体步骤如下：

1. 定义映射文件 ：创建两个文件 interface.pl 和 interface.cpp 。 interface.pl 文件声明了每个Prolog谓词到每个C++函数的映射，并将所有这些函数组合在一个独特的资源中。例如：
   prolog foreign(f1, p1(+integer)). foreign(f2, p2(+term, -term)). foreign_resource(interface, [f1, f2]).

2. 实现C++函数 ： interface.cpp 文件包含了映射到Prolog谓词的C++函数，并添加了尽可能多的辅助函数和库。例如：
   <