prolog相关内容

将SWI-Prolog嵌入dll

我正在构建一个C ++库(windows,DLL),我想嵌入swi-prolog的一些功能。 我所做的是: #include #include BOOL WINAPI DllMain( HINSTANCE hinstDLL,// DLL模型库 DWORD fdwReason,//关数数据库 LPVOID lpvR ..
发布时间:2016-10-23 21:04:32 C/C++开发

在C或C ++中实现Prolog

我想知道如何在C或C ++中的Prolog实现看起来像。我主要感兴趣的是将其构建为C或C ++库,尽管解释器应用程序也会这样做。我有兴趣阅读它的内部,即查询执行,即找到解决方案和相关的数据类型。我会很高兴,如果你推荐我任何阅读主题或任何直接的建议/意见。阅读可能是其他OOP语言或一般的OOP。 解决方案 我敢打赌你会得到很多的 ..
发布时间:2016-10-23 11:36:24 C/C++开发

接口prolog与C#

我尝试接口C#与序言 I使用了此链接: 的在此输入链接的描述 我添加了SwiPlCs.dll为我的项目的引用,然后使用第一个代码的文档中。 使用系统;使用SbsSW.SwiPlCs ; 命名空间HelloWorldDemo { 类节目 { 静态无效的主要(字串[] args ) { //Environment.SetEnvironmentVariabl ..
发布时间:2016-10-05 21:29:45 C#/.NET

如何接口SWI Prolog的到Visual Studio 2012

我有一个在Visual Studio接口SWI-Prolog的程序。在此之前,我用VS2010(XP),一切工作正常。然后我升级我的VS,成为VS2012(Win7的),现在我有我的代码问题 当涉及到下面的代码: PlEngine.Initialize(参数); 它总是给我下面的异常消息: 指定的模块找不到。 (异常来自HRESULT:0x8007007E) ..
发布时间:2016-10-04 23:24:06 C#/.NET

用C#集成的Prolog

有谁知道一个很好的(和preferably免费)的方式来整合序言和C#? 即时通讯寻求建立一个DLL Prolog的或类似的从我的管理code调用和检索答案一旦所有的处理已经完成。进出口寻找它是predominantly片面的(C#调用序言)。 我已经看到这个问题其中谈到Prologs真实世界的用法,但我在想,如果任何人有任何使用C#和放任何经验; Prolog的?还是一个不错的教程/文章? ..
发布时间:2016-08-26 16:03:29 C#/.NET

传递任意大小的整数来自前导到C

现在,我正在学习如何连接SICStus的Prolog用C code。 我想有/使用/看C实现任意大小的整数的“汉明权”的序言SICStus版本4。 在我看来,我需要进行测试条款类型的C函数(SP_is_integer)和C函数访问Prolog的条款(SP_get_integer,SP_get_integer_bytes)。 不过,我不知道如何在便携,坚固的方式使用SP_get_integer ..
发布时间:2016-08-22 16:36:47 C/C++

简单的布尔前pression测试

| ? - [用户]。 编译用户对于字节code ... formula_0(P,Q): - (P,Q),\\ + P。用户编译,2线读取 - 768字节写入,37208毫秒是 | ? - formula_0(P,Q)。 未捕获的异常:错误(instantiation_error,formula_0 / 2) 所有我基本上想要做的就是要问的是一组前pressions的{P或Q,〜p}​ ..
发布时间:2016-08-12 09:30:12 其他开发

普莱舍写一个序言任务的解决方案

我有一个矩阵 M×N的,我需要切换元素的地方与索引 [1,N] 和 [M,N] 。 更新 我是真正的新Prolog的,这里是我的解决方案,它返回false:( 主([FIRSTROW |尾],X): - 去年(FIRSTROW,A), 最后(尾,LASTROW) 去年(LASTROW,B), skipLastItem(FIRSTROW,FirstRowWit ..
发布时间:2016-06-04 15:10:05 其他开发

如何向量转换阵列在Eclipse(CLP)? (或序言)

我要解决数独谜题含9向量(每个长度为9)矢量格式。眼见为载体的Prolog的链表,我想如果我在一个二维数组格式转换难题首先搜索将走得更快。 例解谜: 之谜(P): - P = [_,_,8,7,_,_,_,_,6] [4,_,_,_,_,9,_,_,_], [_,_,_,5,4,6,9,_,_][_,_,_,_,_,3,_,5,_], [_,_,3,_,_,7,6,_,_] [_,_,_,_ ..
发布时间:2016-06-02 22:07:01 其他开发

序言 - 参数不够实例

我写一个小程序,它计算列表中的很多元素是如何不是数字。 这里是我的code: not_number([],0)。 not_number([X | T],R): - 不(数(X)), R 1是R + 1, not_number(T,R)。not_number([_ |尾],结果): - not_number(尾,结果)。 如果我执行code是这样的: ..
发布时间:2016-05-29 12:19:15 JavaScript

两个predicates Prolog的追加结果

: - 从基础的进口附加/ 3。 help1(0,L,[])。 help1(_,[],[])。 help1(N,[X | X的],[X |高分辨率]): - N2是N - 1,help1(N2,XS,RES)。 HELP2(0,L,L)。 HELP2(N,[X | X的],RES): - N2是N - 1,HELP2(N2,XS,RES)。 ..
发布时间:2016-05-25 21:36:07 其他开发

在运行Android序言

我在Android的测试tuProlog。我有一个活动TuProlog,类解析器与序言code互动,data.pl包含序言code。我可以罚款运行它与输出Java项目安慰,但我现在面临无法做到为Android项目。为Android,我得到FileNotFoundException异常,即使我的文件data.pl在项目的根目录复制,里面src和我的包里面。我只是想获取结果作为字符串,并显示我的结果T ..
发布时间:2016-02-23 10:46:54 移动开发

特隆lightcycles AI在序言

我写的AI游戏(像TRON lightcycles)的问题。 我写的关于使用ncurses的C中的所有图形和运动。 现在我需要编写机器人的人工智能的序言。我使用SWI序言。 我保存当前的游戏场(所有的矩阵),当前人类的位置和当前机器人的位置(如基质细胞I,J)。他们节省了像predicats在从C特等文件。 我的游戏领域是一个矩阵,其中包含1和0(1 - 参观,0 - 未访问过)。 像这样的: ..
发布时间:2015-11-30 21:56:40 AI人工智能

其间0变量和一些序言的多个值

所以,我一直在试图教自己序言和我想我来一直很好。不过,我那种停留在这一个方法,我试图做。 吨(N,A)等于0和N-1的整数值,升序排序产生的。 所以 吨(5,A)是 A = 0; A = 1; A = 2; A = 3; A = 4。 我还是新来的Prolog所以我不完全知道如何与多个值做到这一点。我有这样的事情: 吨(N,A): - 0℃ N,NX是N-1,吨(NX,A)。 ..
发布时间:2015-11-30 21:38:31 C/C++

什么是人工智能相关的最优先搜索的问题?

我知道的一些基本问题,包括当地的最大值和高原不过我很好奇,如果有相关的这一特定的搜索任何更多的问题,就是我最好的行动当然是为了克服这些问题。 可有人也给我一个例子类的问题,这个搜索将是很好的使用? 解决方案 与最好先搜索问题: 这是贪婪的。在许多情况下它导致非常快速的解决方案 (因为你的发达节点的数量不会增加 指数,它是线性的深度增加 解决办法!),但它通常不是最优化的,因为你的 启发式功 ..

刽子手游戏在SWI序言(Enchance)

可能重复: 刽子手游戏在SWI Prolog的 我想enchance一个简单的刽子手游戏SWI Prolog的有以下几点: 1)的按紧跟的错误已经猜到了,到目前为止的信件。如果用户猜测已经猜错了一封信,该方案应该说“你猜对了!”和公正的继续游戏而不会增加计数器。 2)的最后,添加一个计数器计数不正确猜测的数目和退出比赛的时候达到一定的数量。该计划应该告诉他们失去用户,显示什么这句话真的 ..
发布时间:2015-11-30 21:15:07 C/C++

序言 - 解决游戏中,实施启发式

我要解决一个“游戏”。 我有5圈,我们可以旋转圆成左或右成(90度)。 例如: 目标:1,2,3,...,14,15,16 例起始情况:16,15,14,......,3,2,1 我使用BFS。 启发式功能: 启发式(NextState,目标,H)), 功能Desctiption: 的对于每个编号1所述; = I&其中; = 16,发现需要把我回到其正确的位置旋转的最小数目 ..
发布时间:2015-11-30 21:12:01 C/C++

N皇后ProbIem..How我们还能走多远?

N皇后问题: 这个问题指出,鉴于大小由N棋盘,找到不同的排列组合,其中N后可放置在电路板上没有任何一个威胁对方。 我的问题是: 什么是N的一个程序可以计算的时间合理的答案的最大价值?或者有什么是我们所看到的迄今为止最大的N + 下面是我在CLPFD(序言)计划: 生成([],_)。 产生([H | T],N): - 中的H 1..N, 产生(T,N)。 lenlist(L ..
发布时间:2015-11-30 16:16:23 C/C++