Prolog库与gcc链接

Question

你能推荐一个带有解释器库的Prolog实现，它可以链接到使用像Lua或Squirrel这样的gcc构建的C程序吗？

Answer 1

可以将一些Prolog系统编译为动态库，以便与其他库链接。一个例子是YAP：

http://www.dcc.fc.up.pt/~vsc/Yap/

Answer 2

SWI-Prolog内置于ANSI-C作为共享库，并具有广泛的 C和C++接口。

同样GNU Prolog提供了一个复杂的C接口，可选择将Prolog代码编译为本机C。