我需要读取任何行(从user_input)到原子列表,例如： Example line, which contains any ASCII chars. 成： [Example,'line,',which,contain…

我有一个谓词variablize / 3,它接受一个列表并依次用一个变量替换每个项目,例如： % ?- variablize([a,b,c], X, L). % L = [[X, b, c], [a, X, c], [a…

我正在研究 prolog中的一项任务,它扫描一个数字列表,并且应该返回列表是否是有效的罗马数字和数字的十进制值.例) 1 ?- roman(N, ['I'], []). N = 1 true. 2 ?- 当我运行我觉得应…

我正在尝试实现一个prolog progarm,实现深度优先搜索和广度优先搜索解决了以下问题 Rowena has three unmarked glasses of different sizes: 3 ounces,…

我被要求用Prolog解决一个Cryptarithmetic Puzzle： GIVE * ME ------ MONEY 以上是谜题,我无法弄清楚问题出在哪里,结果总是返回false.另外,我不允许在SWI-Prolo…

对于SWI-Prolog的CLP(B)库, 我想实现 sat_count/2的加权版本 sat_count(Sat0, N) :- catch((parse_sat(Sat0, Sat), sat_bdd(Sat, BD…

我想从列表列表中删除包含[[‘One’,_],_]的所有列表.我创建了以下子句delete_all,它总是有效,除了我的情况： delete_all(_,[],[]) :- !. delete_all(X,[X|Tail…

我有一个快速的问题.在prolog中使用setof的存在性限定符(即^). 使用SICStus似乎(尽管许多网站声称),S确实似乎在下面的代码中量化(使用沼泽标准,事实的母亲/事实的孩子,我没有包括在这里)： child…

例如,假设我有这个程序(仅在swi-prolog中测试过)： :- use_module(library(clpfd)). :- use_module(library(lists)). % Sorted has the …

我知道我在这里遇到XY问题的可能性很大,所以第一部分是关于更普遍的情况. 问题 我有一组包含抽象地理要素信息的数据点,但没有实际位置(绝对或相对).为了举例,让我们称之为以下描述本地地形的城市列表,但没有坐标或相对定位：…

我有这个代码,我需要将其翻译成CNF(这是为考试做准备,所以不是作业！)： p,q r :- q false :- p , s s :- t t 这是我做的： p ^ q ^ (r V ~q) ^ (~p V ~s) ^…

PyPy的JIT最初是Prolog的原型： http://morepypy.blogspot.com/2008/06/hi-all-some-news-from-jit-front.html. Gambit Scheme…