Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
prolog 中递归的停止条件
以下是我的知识库中的事实 http www doc gold ac uk mas02gw prolog教程 prolog页面 recursion html http www doc gold ac uk mas02gw prolog tut
recursion
Prolog
transitiveclosure
使用 Haskell 从列表传递闭包
我需要使用 Haskell 在列表上生成传递闭包 到目前为止我得到了这个 import Data List qq qq x x qq x vv sort x vv x xs x member x xs qq xs member x y x1
Haskell
transitiveclosure
通过应用传递闭包创建唯一数字的列表
我有一个元组列表 每个元组由 2 个数字组成 例如 array 1 2 1 3 2 4 5 8 8 10 可以说 这些数字是一些数据库对象 记录 的 id 并且在元组内部 有重复对象的 id 这意味着 1 和 2 是重复的 1 和 3 是重
python
list
loops
transitiveclosure
SQL - 将非空邻接列表转换为路径
我正在使用一些代表文件系统的表 并且我需要选择每个文件夹的完整路径作为扁平字符串 第一个表列出了每个文件夹的详细信息 CREATE TABLE Folders FolderID int IDENTITY 1 1 NOT NULL Name
sql
sqlserver
path
filesystems
transitiveclosure
一棵无限的成功树,或者不是?
我得到了以下程序 edge a b edge b c edge a d path N M path N New edge New M path N M edge N M 并询问是否将证明树算法应用于以下查询 path a X 证明树是无限成
Prolog
failureslice
transitiveclosure
错误:我的 Prolog 代码中超出本地堆栈
我无法弄清楚为什么给定 Prolog 代码的以下查询会生成错误Out of local stack 序言代码 likes g c likes c a likes c b likes b a likes b d likes X Z likes
Prolog
transitiveclosure
更好地理解序言
我试图理解 Prolog 以及它如何使用解析算法 我发现了这个例子 hates 1 2 hates 2 3 hates 3 4 jealous A B jealous A C jealous C B jealous A B hates A
Prolog
transitiveclosure
failureslice
自反传递闭包的定义
许多谓词本质上使用某种形式的传递闭包 只是发现终止也必须得到解决 为什么不一劳永逸地解决这个问题closure0 3 meta predicate closure0 2 meta predicate closure 2 meta predi
Prolog
prologtoplevel
transitiveclosure
metapredicate
为什么我的序言规则陷入无限递归
我的代码可以达到其预期目的 但最后总是陷入循环 给出错误消息 超出堆栈限制 我的代码如下 byCar auckland hamilton byCar hamilton raglan byCar valmont saarbruecken by
recursion
Prolog
transitiveclosure
failureslice
prolog 中对称关系的传递闭包
我是序言初学者 我想创建 兄弟 关系 该关系应该是对称的 就像兄弟 阿林 亚历克斯 是真的 兄弟 亚历克斯 阿林 应该也是如此 它也应该是传递的 就像兄弟 阿林 亚历克斯 and 兄弟 亚历克斯 克劳迪乌 是真的 兄弟 阿林 克劳迪乌 应该
Prolog
transitiveclosure
如何表达传递关系
我想表达一种传递关系 如果 A 引用 B B 引用 C 那么 A 引用 C 我有这个 proj A proj B proj C ref A B ref B C 当我查询使用proj A 我得到 46 proj A 一个 639 639 是什
Prolog
transitiveclosure
Prolog:消除间接关系中的循环
我有一个用户事实列表 定义为 user michael user ana user bob user george user john 等等 此外 我还有一组事实 follows michael ana follows ana bob fo
Prolog
transitiveclosure
使用循环路径进行 Prolog 图路径搜索
我是 Prolog 的新手 我试图找出一个问题 我需要检查边缘之间是否存在路径 我已经完成了循环的非循环图代码 我的代码将进入无限循环 path Start End edge Start End path Start End edge St
path
Prolog
infiniteloop
transitiveclosure
cyclicgraph