我需要读取任何行(从user_input)到原子列表,例如: Example line, which contains any ASCII chars. 成: [Example,'line,',which,contain…
标签:prolog
替换Prolog中列表的元素
我有一个谓词variablize / 3,它接受一个列表并依次用一个变量替换每个项目,例如: % ?- variablize([a,b,c], X, L). % L = [[X, b, c], [a, X, c], [a…
Prolog罗马数字(属性语法)
我正在研究 prolog中的一项任务,它扫描一个数字列表,并且应该返回列表是否是有效的罗马数字和数字的十进制值.例) 1 ?- roman(N, ['I'], []). N = 1 true. 2 ?- 当我运行我觉得应…
在州之间移动(Prolog实施)
我正在尝试实现一个prolog progarm,实现深度优先搜索和广度优先搜索解决了以下问题 Rowena has three unmarked glasses of different sizes: 3 ounces,…
Prolog密码算术拼图
我被要求用Prolog解决一个Cryptarithmetic Puzzle: GIVE * ME ------ MONEY 以上是谜题,我无法弄清楚问题出在哪里,结果总是返回false.另外,我不允许在SWI-Prolo…
CLP(B)在Prolog中加权sat_count / 3
对于SWI-Prolog的CLP(B)库, 我想实现 sat_count/2的加权版本 sat_count(Sat0, N) :- catch((parse_sat(Sat0, Sat), sat_bdd(Sat, BD…
prolog – 如何从列表中删除所有子列表?
我想从列表列表中删除包含[[‘One’,_],_]的所有列表.我创建了以下子句delete_all,它总是有效,除了我的情况: delete_all(_,[],[]) :- !. delete_all(X,[X|Tail…
prolog中的存在性限定符,使用setof / bagof
我有一个快速的问题.在prolog中使用setof的存在性限定符(即^). 使用SICStus似乎(尽管许多网站声称),S确实似乎在下面的代码中量化(使用沼泽标准,事实的母亲/事实的孩子,我没有包括在这里): child…
prolog – 我怎么知道clpfd程序的计算复杂性是什么?
例如,假设我有这个程序(仅在swi-prolog中测试过): :- use_module(library(clpfd)). :- use_module(library(lists)). % Sorted has the …
prolog – 逻辑引擎中的不确定性(根据当地地理位置产生合理的相对位置)
我知道我在这里遇到XY问题的可能性很大,所以第一部分是关于更普遍的情况. 问题 我有一组包含抽象地理要素信息的数据点,但没有实际位置(绝对或相对).为了举例,让我们称之为以下描述本地地形的城市列表,但没有坐标或相对定位:…
prolog – 与联合范式的推理
我有这个代码,我需要将其翻译成CNF(这是为考试做准备,所以不是作业!): p,q r :- q false :- p , s s :- t t 这是我做的: p ^ q ^ (r V ~q) ^ (~p V ~s) ^…
是否有任何项目最初是Prolog原型
PyPy的JIT最初是Prolog的原型: http://morepypy.blogspot.com/2008/06/hi-all-some-news-from-jit-front.html. Gambit Scheme…