Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
非成员规则在 Prolog 中无法按预期工作
我正在尝试在 Prolog 中创建一个迷宫程序 其目的是找到一条从迷宫起点到迷宫中心点 m 的路线 迷宫由使用四种颜色之一连接的正方形组成 蓝色 绿色 紫色或橙色 从起点到中心的路线遵循四种颜色的重复图案 我创建了以下代码 link2 A
list
Prolog
Logic
negation
prologdif
如何实现 not_all_equal/1 谓词
如何实施not all equal 1谓词 如果给定列表包含至少 2 个不同的元素 则该谓词成功 否则失败 这是我的尝试 不是很纯粹的尝试 not all equal L member H1 L member H2 L H1 H2 gt t
list
Prolog
predicate
prologdif
logicalpurity
Prolog 中的失败谓词有什么用?
我想不出我需要它的情况 优雅的系统提供false 0作为命令式的声明式同义词fail 0 它有用的一个例子是当您想要手动强制回溯副作用时 例如 between 1 3 N format line w n N false line 1 lin
Prolog
prologdif
什么东西永远不等于自己?
Prolog 中是否存在不等于其自身的价值 我写的answer https stackoverflow com a 53404595 10631003对某些人关于树的最小值的问题 https stackoverflow com q 5339
Prolog
prologdif
在 Prolog 中解决文本逻辑难题 - 查找生日和月份
我正在阅读 7天7种语言 一书 并且已经读到了Prolog章节 作为学习练习 我试图解决一些文本逻辑难题 谜题如下 五姐妹的生日都在不同的月份 并且各自在一周的不同日期 使用下面的线索 确定每个姐妹的生日是在月份和星期几 宝拉出生于三月 但
Prolog
prologdif
zebrapuzzle
Prolog 中的简化旅行推销员
我浏览过类似的问题 但找不到与我的问题相关的任何内容 我正在努力寻找一种算法或一组 循环 来找到一条路径CityA to CityB 使用数据库 distance City1 City2 Distance 事实 到目前为止我所做的事情如下
Prolog
backtracking
travelingsalesman
prologdif
在列表内计数。帮助我理解这段代码
我找到了一个3年前的老问题 帮助我计算列表中变量出现的次数 https stackoverflow com questions 9088062 count the number of occurrences of a number in a
Prolog
prologdif
仅删除唯一元素
有很多关于如何删除重复项和类似问题的资源 但我似乎无法找到任何有关删除唯一元素的资源 我正在使用 SWI Prolog 但我不想使用内置程序来实现此目的 也就是说 调用remove unique 1 2 2 3 4 5 7 6 7 X 应该
list
Prolog
prologdif
为什么 Prolog 将变量与直接插入时失败的结果相匹配?
我正在制作一个 Prolog 程序 用于查找一组列表的子集 该子集必须匹配一些特定条件 其中一个方面是子集的列表不能相同 让我困惑的是 当我尝试查找变量 X 的匹配项时 如果我将它们插入查询中代替 X 它会生成返回 false 的结果 例如
list
variables
Prolog
match
prologdif
如何访问序言中的列表排列?
我想访问列表排列并将其作为参数传递给其他函数 这是排列代码 takeout X X R R takeout X F R F S takeout X R S write S perm X Y Z perm Y W takeout X Z W
list
Prolog
permutation
prologdif
使用 \==/2 或 diff/2
如果我想确保两个变量不会实例化为同一个术语 首选的方法是什么 假设我需要在图中找到有向边 并且节点本身不能有边 node a x y node b z x node c y y 这里的边是 a gt c b gt a 但是notc gt c
Prolog
prologdif
logicalpurity