集成SWI和C++的问题
集成SWI和C++的问题
提问于 2016-03-14 22:28:53
我正在尝试集成Prolog和C++。我使用SWI作为Prolog，Embarcadero Rad Studio用于C++。我想在C++中输入，在Prolog中处理输入，并在C++中显示输出。
首先，它给出了“无法执行链接”错误，但是在链接库之后，它给出了错误：
[ILINK32 Error] Error: 'C:\PROGRAM FILES
(X86)\SWIPL\LIB\LIBSWIPL.LIB' contains invalid OMF record, type 0x21
(possibly COFF)我搜索并找到了使用implib.exe解析它的方法，并创建了一个新的库newlibswipl.lib。
在程序中链接它之后，它会给出以下错误：
[ILINK32 Error] Error: Unresolved external '_PL_cut_query' referenced
from C:\USERS\DOCUMENTS\RAD STUDIO\PROJECTS\DEBUG\NEWPROLOG.OBJ
[ILINK32 Error] Error: Unresolved external '_PL_new_term_ref'
referenced from C:\USERS\DOCUMENTS\RAD
STUDIO\PROJECTS\DEBUG\NEWPROLOG.OBJ [ILINK32 Error] Error: Unresolved
external '_PL_exception' referenced from C:\USERS\DOCUMENTS\RAD
STUDIO\PROJECTS\DEBUG\NEWPROLOG.OBJ [ILINK32 Error] Error: Unresolved
external '_PL_fatal_error' referenced from C:\USERS\DOCUMENTS\RAD
STUDIO\PROJECTS\DEBUG\NEWPROLOG.OBJ [ILINK32 Error] Error: Unresolved
external '_PL_chars_to_term' referenced from C:\USERS\DOCUMENTS\RAD
STUDIO\PROJECTS\DEBUG\NEWPROLOG.OBJ [ILINK32 Error] Error: Unresolved
external '_PL_put_term' referenced from C:\USERS\DOCUMENTS\RAD
STUDIO\PROJECTS\DEBUG\NEWPROLOG.OBJ [ILINK32 Error] Error: Unresolved
external '_PL_predicate' referenced from C:\USERS\DOCUMENTS\RAD
STUDIO\PROJECTS\DEBUG\NEWPROLOG.OBJ [ILINK32 Error] Error: Unresolved
external '_PL_open_query' referenced from C:\USERS\DOCUMENTS\RAD
STUDIO\PROJECTS\DEBUG\NEWPROLOG.OBJ [ILINK32 Error] Error: Unresolved
external '_PL_next_solution' referenced from C:\USERS\DOCUMENTS\RAD
STUDIO\PROJECTS\DEBUG\NEWPROLOG.OBJ [ILINK32 Error] Error: Unresolved
external '_PL_get_arg' referenced from C:\USERS\DOCUMENTS\RAD
STUDIO\PROJECTS\DEBUG\NEWPROLOG.OBJ [ILINK32 Error] Error: Unresolved
external '_PL_get_name_arity' referenced from C:\USERS\DOCUMENTS\RAD
STUDIO\PROJECTS\DEBUG\NEWPROLOG.OBJ [ILINK32 Error] Error: Unresolved
external '_PL_atom_chars' referenced from C:\USERS\DOCUMENTS\RAD
STUDIO\PROJECTS\DEBUG\NEWPROLOG.OBJ [ILINK32 Error] Error: Unable to
perform linkC++代码：
// newprolog.cpp
#include <math.h>
#include <iostream>
#include <sstream>
#include "SWI-cpp.h"
#include "SWI-Prolog.h"
#include "SWI-Stream.h"
#pragma comment(lib,"C:\Program Files (x86)\swipl\lib\newlibswipl.lib");
using namespace std;
term_t a;
term_t b;
term_t ans;
functor_t fun;
int main()
{
int digit;
cout << "\nPlease enter a digit to calculate it's Factorial.." << endl;
cin >> digit;
PlCall("consult(swi('C:\Program Files(x86)\swipl\swipl-win.rc'))");
PlCall("consult('factorial.pl')");
a = PL_new_term_ref();
PL_put_integer(a, digit);
b = PL_new_term_ref();
ans = PL_new_term_ref();
fun = PL_new_functor(PL_new_atom("factorial"),2);
PL_cons_functor(ans, fun, a, b);
int fact;
if(PL_call(ans, NULL)) {
PL_get_integer(b, &fact);
//int numb = fact;
}
return 0;
}和factorial.pl
factorial(1, 1) :- !.
factorial(X, Fac) :-
X > 1,
Y is X - 1,
factorial(Y, New_Fac),
Fac is X * New_Fac.实际上，我是从youtube视频中引用的，在视频中，这个人使用的是QT创建者而不是Rad Studio。链接是Swi-Prolog与QT Creator C++接口，但我想使用Embarcadero进行链接。有人能帮帮我吗.
回答 1
Stack Overflow用户
回答已采纳
发布于 2016-03-16 20:51:48
谢谢大家的建议。我找到了将SWI库与Embarcadero Rad Studio链接的解决方案。
解决方案：
- 我使用命令提示符中的
implib.exe将SWI库libswipl.dll转换为COFF格式库，因为库是OMF格式的，所需的格式是COFF格式。 - 在获得SWI库的COFF版本后，我将其复制到Embarcadero的Project文件夹中，并将其包含在项目中。
此包含解决了链接错误并执行了项目。
谢谢大家的建议。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/36004132
复制相关文章
13.12 Spring Boot集成Security中遇到的问题13.12 Spring Boot集成Security中遇到的问题问题1：Spring Boot集成Security使用数据库用户角色
点击加载更多
相似问题
SWI-Prolog与C++接口的问题
prolog SWI shell问题
回溯问题SWI-Prolog
SWI-Prolog C++接口
swi_prolog调用c++程序
添加站长 进交流群
领取专属 10元无门槛券
AI混元助手 在线答疑
关注 腾讯云开发者公众号
洞察 腾讯核心技术
剖析业界实践案例
腾讯云开发者
