prolog

1热度

1回答

早上好。我需要你的帮助。我想从大小为N的列表中进行列表（矩阵大小SQRT（N）* SQRT（N））的列表我试过，但它不为我工作:( gen(L,T,Matrix) 其中T是矩阵的大小你是免费的，如果你想例如增加更多的PARAM gen([1,2,3,4,5,6,7,8,9],3,Matrix) Matrix = [[1,2,3],[4,5,6],[7,8,9]]

2热度

2回答

作为Prolog中的列表存储和显示结果

我想在Prolog中获得基于索引和值的对输出。下面是我的代码： tagit0(L) :-tagit0(L, 1). tagit0([], _) :- nl. tagit0([H|T], N) :- N1 is N + 1, format('tag (~w, ~w), ', [N1, H]), tagit0(T, N1). 运行此：?- tagit0([a,b

1热度

1回答

列表中的Prolog唯一值

我在大学考试时使用Prolog语言进行考试，我不知道如何创建函数：在列表中检查唯一值。我的意思是，如果列表中的每个值都是唯一函数，则返回true，否则返回false。例如。 [1,2,3,5] - true [1,2,2,4] - false 该函数的标题是uniqueValues（X）X - 均值列表。我真的不知道这种语言，如果有人能解释我如何创建这个功能将是伟大的。谢谢你的帮助

1热度

1回答

如何检查我的prolog数据库中是否存在特定的事实

我在序言中提出了一个问答系统。如果我说，“汽车的颜色是蓝色的，”事实上（汽车，颜色，蓝色）被添加到数据库，prolog返回“OK”。如何检查此特定事实是否存在？我知道你可以检查谓词是否存在，但我想知道如何检查确切的事实（汽车，颜色，蓝色）存在，而不是像事实（汽车，感觉，光滑）这样的事实存在。我这样做是为了当我说“汽车的颜色是蓝色”时，它返回“我知道”而不是“确定”，因为事实现在存在于数据库中。

1热度

1回答

序言：两个对象之间的差异关系

我将诚实和前言说这是作业，但我非常需要帮助。我是Prolog的新手，来自C++和Javascript，无论我尝试多么努力，我都无法得到它。我应该做的是能够找到两个日期之间的差异（假设非闰年）。基本上我有一个知识库与布局类似的信息： object(A, B). object(A, B). ... 其中A表示月和B表示该月的总天数。（eg。object（1,31）。）

2热度

1回答

自动调用序言的分号，当您咨询序言规则可以按<strong><code>;</code></strong>和序言将继续呈现这些规则的目标和<strong><code>true</code></strong>在每个月底不显示trues

目标，是否有任何方法可以告诉prolog从规则内自动执行？例如，对于： distance(a,b,10). distance(a,c,11). distance(a,d,12). distance(a,e,13). distance(a,l,14). distance(a,k,15). distance(b,h,16). distance(c,h,17). distance(f,

1热度

1回答

如何获得在Prolog中定义/加载的所有子句

我正在使用SWI Prolog，并且惊讶地发现在Prolog中没有这样做的明显方法。我所追求的是与第2章类似的东西，但允许没有实际意义的第一个参数（并且特定于给定文件中的子句，即我不想要整个Prolog库！）。这里是我写的所有条款 clauseX(H,B) :- current_predicate(P/Arity), functor(H,P,Arity), absol

3热度

2回答

如何在SWI-Prolog中跟踪内置的append/3？

我想跟踪SWI-Prolog中的内置附加/ 3，但是立即得到结果并且无法看到中间发生了什么。有什么我必须做的追踪追踪？ ?- trace . true. [trace] ?- append([a,b,c], [[],[2,3], b], X). X = [a, b, c, [], [2, 3], b].

0热度

3回答

解决逻辑谜题在序言

我在学习序言的“早期阶段”和整个逻辑谜语接缝容易实现传来： Link to the riddle | Link to solution 我们正在寻找满足以下条件的10位数字：所有的0-9位出现一次。前2位是整除2. 前3位是被3整除 ... 前10位是整除10 我想我首先需要将规则实施到.pl文件吗？从解决方案的规则是：一个整数可以除以1除以余数。如果最后一位数字是直的，整数可以被2整除

2热度

2回答

如何在SWI-Prolog中使用列表构造函数（./2）

我想在SWI-Prolog中使用列表构造函数，但得到'dict'预期错误。例如， .(a, []) == [a]. ERROR: Type error: `dict' expected, found `a' (an atom) ERROR: In: ERROR: [11] throw(error(type_error(dict,a),_14808)) ERROR: [10] '$typ