Prolog是最常用的逻辑编程语言。它通过按时间顺序回溯和通过统一的模式匹配来支持非确定性编程。
在Prolog中，需要创建返回事实值的规则。目前只返回“true”而不是我需要的事实
我有一个电影、发行年份、演员、导演的数据库。我需要一个查询，如果年份大于或等于用户输入的给定年份，则返回电影标题。我创建的规则...
我可以用 Prolog 解决逻辑课的作业吗？ 5人接受讯问。 A 和 B 的语句丢失。 C 说：如果 A 是真实的，那么 B 也是真实的。 D 说：如果 C 是真实的那么...
添加 (X \= Y) 子句时，Prolog 不会返回正确的查询（据我所知）
知识库： 爱（文森特，米娅）。 爱（马塞勒斯，米娅）。 喜欢（南瓜，honey_bunny）。 喜欢（honey_bunny，南瓜）。 嫉妒（X，Y）：- X \= Y， 爱(X,Z), 爱（Y，Z）。 现在我输入嫉妒(vi...
这是在 Prolog 中编码说谎者悖论的正确方法吗？ 说谎者悖论英文：“这句话不是真的。” ?- LP = not(true(LP))。 LP = not(真(LP))。 ？- unify_with_occurrs_check(...
这是在 Prolog 中编码说谎者悖论的正确方法吗？ 说谎者悖论英文：“这句话不是真的。” ?- LP = not(true(LP)). LP = not(真(LP))。 ？-
我正在使用的地图 （抱歉我的英语不好）我从老师那里得到了 Prolog 代码，但我对这门语言很陌生，所以我无法理解冲突//无冲突//查找着色的真正作用以及为什么他......
如何制作一个递归地倒数到 0 的 prolog 谓词。(swi-pl)
给定一个数字 Num，谓词应从 Num 倒数到 0，不包括 Num。尝试递归地执行此操作，但只收到一个答案作为输出，而不是整个倒计时。 尝试子...
所以我试图告诉 prolog，Lst 中有一个带有 (a,b,) 的元组，但最后一个元组成员不是 2，但 Lst 中还有其他元素可能包含 (,_,2)。 `测试（A，B，C）：- 长度(Lst, 2), 我...
我正在 prolog 中制作一个 8 谜题求解器，但我很难弄清楚如何编写游戏规则。 游戏的初始状态表示为列表列表，例如：[[2,8,3,...
我需要编写一个turbo prolog程序，它将从列表中删除所有回文
我需要做一个涡轮序言程序，从列表中删除所有回文（包括交叉回文，如 1 2 1 3 1）。 我尝试使用以下算法编写一个程序： 例如：1 2 1 3 ...
我想在Prolog中找到前10个梅森素数，我已经实现了以下内容： % 定义一个谓词来检查数字是否为素数。 is_prime(N) :- N > 1， \+ has_diviso...
我有下面的代码来添加s(0)（代表0的后继者）和p(0)（代表0的前任者）。但是，当我运行下面列出的查询时，输出为 Z = p(s(s(s(s(0)...
我想建立两个给定数字范围内的数字列表。 例如： BetweenRange(1,5,X) 将给出答案：X=[1,2,3,4,5]。 知道怎么做吗？ 我尝试过类似的事情：
请看以下汉诺塔问题的“解决方案”： F（[]，[]，_）。 f([A|As],[],C) :- f(As,[A],C). f([A|As],B,[]) :- f(As,B,[A]). f([],[B|Bs],C) :- f([B],Bs,C). f(A,[B|Bs],[]) :-...
我正在尝试编写一个简单的过程来检查列表是否有重复项。这是我到目前为止所尝试过的： 如果列表没有重复项，% 返回 true。 no_duplicates([X|XS]) :- 成员...
为什么这不起作用？ ？- '。'（A，[]）。 错误：未知过程：('.')/2 错误：但是，有以下定义： 错误：('.')/3 错误的。 ？- 。（A，[]）。 错误：未知过程：('.')/2 ...
Swi Prolog Editor 只显示 false，不显示 true
假设我的知识库包含一个事实： 事实（事实1）。 如果我知道提交查询事实（fact1）。 39？ - 事实（事实1）。 40？- 它什么也没说，相当于 true。 B/c 如果错了，亲...
从 html 中众所周知，marquee 显然是语义网的顶峰。或者更确切地说，它的最低点与闪烁标签并排。无论如何，我们如何在 Prolog 中表示选取框？换句话说，...