Prolog是最常用的逻辑编程语言。它通过按时间顺序回溯和通过统一的模式匹配来支持非确定性编程。
假设我有：makeTillDone(X) :- try(X).makeTillDone(X1) :- changeOne(X1，X2)，makeTillDone(X2).makeTillDOne(X1) :- changeTwo(X1，X2)，makeTillDone(X2).prolog将尝试满足makeTillDone(。
我试图在prolog中用swipl 8.0.3版本将一个文件读成一个字节列表。 :- use_module(library(readutil)).try_read_byte(File):- open(File, read, Stream), get_byte(Stream, B), ...
Choicepoint的修剪需要剪掉，但我认为编译器应该足够锋利，可以自己来做
我正在做一个练习，写一个between3，取一个额外的步值。这是一个有趣的练习，很快就显示出：标记整数的优势（即用pos(X)代替X，如果 ....
所以，我对prolog很陌生，在做一些很基本的事情时遇到了麻烦。我希望能够重复评估一个谓词，直到in评估为True。 do(Goals, Frontier, Explored):- ...
我试图理解运算符。我定义了下面的运算符和方法。 :- op(600, xfy, ⧺)。⧺(Left, Right) :- concatAtoms([Left, Right], _). ％_将结果，但不能......。
我试图写一些类似于 "如果你之前得到了球，而之后没有给它 "的东西： :- use_module(library(clpfd)).time(T1, has_ball) :- time(T2, get_ball), T2 #=....
我是Prolog的新手，我想写一个函数，找到一个遵循某些规则的列表。更具体地说，给定两个数字，N和K，我想让我的函数找到一个列表，其中有K的两个幂 ...
我这样做 a([1,3,5,2,4]).b([6,1,2]).issn(L):-intersection(a,b,L).为什么我得到false？谢谢你的回答
如何才能写出下面所说的两个谓词。1）定义double(X,Y)谓词，如果列表Y中每一个元素X重复两次，则该谓词为真。例如：double([a,b],[a,a,b,...]。
在Prolog中的Lists中，元素的Sum、Average和Count元素的出现次数。
我怎样才能在Prolog中写出三个谓词来做以下事情。1) 定义sum (X, N) 谓词, 当N是列表X中的整数之和时, 它为真 2) 定义avg (X, N) ...
我试图在prolog中从一个列表中获取一组元素，这样一个查询：get_elems([1，2，4，10]，[a，b，c，d，e]，X).得到。X = [a, b, d] 我想不使用...
我希望有一些更通用的解析器，比如说paren，它可以接受一个解析器，并用括号把它包起来：paren(Parser, Result) --> "(", some_magic_dcg_call(Parser, Result), "...
如何检查Prolog中是否存在任何statisfying子句而不需要回溯所有不同的路径？
比方说我有以下内容：父母（Alice，Charlie）.父母（Bob，Charlie）.父母（Bob，Diane）.父母（Alice，Diane）.父母（Bob，Eve）.父母（Alice，Eve）. %的人是彼此的兄弟姐妹......。
我有一个问题要问你。我有一个练习说： 让有给定的边在有向图中 弧(a, b), 弧(b, c), 弧(a, d), 弧(d, e), 弧(d, f), 弧(f, a)和弧(f, g). 测试去...
我有一个编码问题，下面描述的程序考虑以下游戏。给出一个棋盘，上面有三个黑子，三个白子和一个空位。游戏的目标是交换 ...
我如何在prolog中建立一个谓词，接收一个数字和一个列表，我必须通过尾部插入列表中的数字我试过通过头部插入列表中的数字：insert(H,[根据需要扩展它并 "返回"。
我的斑马谜题出了问题.rightOf(A,B,(B,A,_,_,_)).rightOf(A,B,(_,B,A,_)).rightOf(A,B,(_,_,_,B,A)).middleHouse(A,(_,_,A,_,_)). ...
你如何定义母亲父亲姐妹兄弟的关系，使断言姐妹(巴特，玛吉)使?-女性(玛吉)评价为真? 我正在研究一个玩具家庭关系问题。这是...