从 XCode 中的 C 程序到 SWI-Prolog 的接口

Question

我想在 MAC OS X 下使用 XCode IDE 从 c 代码接口到 SWI-Prolog。

我已包含头文件并使用以下示例代码：

#include <stdio.h>
#include <SWI-Prolog.h>
#include <SWI-Stream.h>

int main(int argc, const char * argv[])
{

char *av[10];
int ac = 0;

av[ac++] = "/opt/local/lib/swipl-6.2.2/bin/i386-darwin12.2.1/swipl";
av[ac++] = "-x";
av[ac++] = "mystate";
av[ac]   = NULL;

#ifdef READLINE /* Remove if you don't want readline */
PL_initialise_hook(install_readline);
#endif

if ( !PL_initialise(ac, av) )
    PL_halt(1);

PL_halt(PL_toplevel() ? 0 : 1);


printf("done...\n");
return 0;
}

我还在构建设置中链接到头文件和库路径：

头文件搜索路径：/opt/local/lib/swipl-6.2.2/include

库搜索路径：/opt/local/lib/swipl-6.2.2/lib/i386-darwin12.2.1

但在运行代码时出现以下错误：

Undefined symbols for architecture x86_64:
  "_PL_halt", referenced from:
      _main in main.o
  "_PL_initialise", referenced from:
      _main in main.o
  "_PL_toplevel", referenced from:
       _main in main.o
 ld: symbol(s) not found for architecture x86_64
 clang: error: linker command failed with exit code 1 (use -v to see invocation)

有人可以帮助我运行我的代码吗？

在此先感谢和亲切的问候

索利克

Answer 1

即使您在设置中设置了正确的路径，它也不会自动找到要链接的正确库。您还必须添加实际的库。

Answer 2

我在 Ubuntu 中工作（是的，仍然在 Windows 中），我开始感谢 pkg-config 的支持。

如果您已经习惯了，请注意，在本地编译时，SWI-Prolog 会生成一个目录 ~/lib/pkgconfig。

然后您可以将该目录添加到 pkg-config 配置中，并使用具有（恕我直言）良好支持的 SW。