我为最近的问题 Segregating Lists in Prolog提供了以下基于clpfd的代码: list_evens_odds([],[],[]). list_evens_odds([X|Xs],[X|Es],O…
标签:prolog
Prolog – 找到第一个解决方案并停止搜索
我正在学习Prolog中的编程并且遇到规则问题,它必须搜索解决方案,一旦找到它,就必须“无所事事”.但它失败了,给了我不止一个解决方案.我试着这样做: % here the solution is already fou…
prolog – 与联合范式的推理
我有这个代码,我需要将其翻译成CNF(这是为考试做准备,所以不是作业!): p,q r :- q false :- p , s s :- t t 这是我做的: p ^ q ^ (r V ~q) ^ (~p V ~s) ^…
Prolog – WAM的高级目的
我试图在一个概念性的高层次上理解WAM的目的,但到目前为止我所咨询的所有资源都假设我知道的比现在更多,他们从底部处理问题(细节).他们开始向我扔树,现在我担心看到整个森林. 以下问题的答案将有助于我的努力: 选择任何一群…
你如何计算,Prolog SWI或CHR Prolog SWI的回溯量
我正在使用CHR(约束处理规则)在Prolog SWI中创建几个拼图求解器 一切都很好,但我喜欢测试哪个解算器最好.因此,我想找出哪个解算器使用最少量的回溯. 是否有一种聪明的方法可以找出(或打印出来)解算器解决特定谜题…
Prolog罗马数字(属性语法)
我正在研究 prolog中的一项任务,它扫描一个数字列表,并且应该返回列表是否是有效的罗马数字和数字的十进制值.例) 1 ?- roman(N, ['I'], []). N = 1 true. 2 ?- 当我运行我觉得应…
如何在Prolog中截断文件长度?
如何在Prolog中截断文件长度? 我只在ISO中找到了set_stream_position / 2谓词标准.但我找不到set_stream_length / 2谓词在主要的Prolog系统中. 类似地,有一个流属性位…
prolog – 扁平化列表
我需要编写一个平面列表的函数. 例如: flat([ c , [[[]]] , [] , k] , X). X=[c,k] 这就是我做的: flat([],[]). flat([[A] |B] , R) :- flat(…
替换Prolog中列表的元素
我有一个谓词variablize / 3,它接受一个列表并依次用一个变量替换每个项目,例如: % ?- variablize([a,b,c], X, L). % L = [[X, b, c], [a, X, c], [a…
在prolog中读取原子列表行
我需要读取任何行(从user_input)到原子列表,例如: Example line, which contains any ASCII chars. 成: [Example,'line,',which,contain…
是否有任何项目最初是Prolog原型
PyPy的JIT最初是Prolog的原型: http://morepypy.blogspot.com/2008/06/hi-all-some-news-from-jit-front.html. Gambit Scheme…
Prolog密码算术拼图
我被要求用Prolog解决一个Cryptarithmetic Puzzle: GIVE * ME ------ MONEY 以上是谜题,我无法弄清楚问题出在哪里,结果总是返回false.另外,我不允许在SWI-Prolo…