transitive-closure

1热度

1回答

我试图解决这个问题Pebble Solitaire，这是我的代码部分： % Base case play(List, X) :- count_pebbles(List, X). %%%%%%%%%%%%%% % JUMP RIGHT % %%%%%%%%%%%%%% % oo-XXXXXXXXX play( [111, 111, 45|Tail], X) :

1热度

1回答

Prolog：检查简单事实的传递性

我的目的是在Prolog中实现一个简单的例子（仅适用于我自己）的传递性。这是我的事实： trust_direct(p1, p2). trust_direct(p1, p3). trust_direct(p2, p4). trust_direct(p2, p5). trust_direct(p5, p6). trust_direct(p6, p7). trust_direct(p7,

0热度

1回答

传递减少 - 与代码错误 - Python

所以我想写一个代码来做传递减少的Acyclic图。所以元素是：（3,5），（5,2），（2,1），（4,2），（3,1），（4,1）这是我至今写： graph = [[3, 5],[5, 2],[2, 1],[4, 2],[3, 1],[4, 1]] for i in range(len(graph)): for j in range(len(graph)): fo

1热度

1回答

结果不是与给定的事实进行比较

使用prolog创建一个代码来获得一些比较输出，但有些输出不能正常工作。看起来这些并不是与事实相比较的。这里的代码 fact(Fact) :- Fact,!. fact(Fact):-Fact = ..[Rel, Arg1, Arg2],isa(Arg1, SuperArg). SuperFact =..[Rel,SuperArg,Arg2]. covers(animal,skin). i

0热度

1回答

如何停止在prolog中打印两次相同的值？

我有这个事实或数据库序言，看看教育是否相同或不足。例如高中< =高中是真的，高中< = phd也是如此，但是高中< =高中是错误的。 edu_less(high_school, bachelor). edu_less(bachelor, masters). edu_less(masters, phd). edu_lessOrEqual(X,X). edu_lessOrEqual(X, Y

3热度

1回答

SQL - 转换非空邻接表到路径

我有一些表格，代表了文件系统的工作，我需要选择每个文件夹的完整路径作为扁平化线。第一个表列出了每个文件夹的详细信息： CREATE TABLE Folders( FolderID int IDENTITY(1,1) NOT NULL, [Name] nvarchar(255) NOT NULL) 第二个表列出文件夹的关系传递闭： CREATE TABLE FolderClo

2热度

1回答

Prolog - 祖先谓词实现的两种方式

给出了一组通过谓词parent/2来表示父子关系的事实，当定义关系“祖先”（祖先）与谓词pred1时有什么区别/ 2和PRED2/2如下所示？ pred1(X,Z) :- parent(X,Z). pred1(X,Z) :- parent(X,Y), pred1(Y,Z). pred2(X,Z) :- parent(X,Z). pred2(X,Z) :- parent(Y,Z), pred

0热度

2回答

序言 - 出错：在Linux

本地栈我在swipl edge(X,Y) :- edge(X,Z),edge(Z,Y). edge(a,b). edge(a,f). edge(b,c). edge(c,d). edge(g,c). edge(f,g). edge(f,c). edge(f,e). edge(c,e). edge(e,d). 有一个非常简单的程序，但是当Ι进行查询edge(a,c).Ι得到一

0热度

1回答

当我找到一条路径时，序言中的蠕变错误

我正在学习Prolog，并且当我尝试找到一条路径时出现蠕变错误。我想我所做的是递归，因为这是在没有直线路径时找到路线的方法。下面是代码： route(london,paris). route(paris,rome). route(rome,spain). route(london,berlin). route(berlin,praga). route(london,dublin).

0热度

3回答

在可迁移的SPARQL查询中排序

是否可以保证SPARQL中的传递查询的结果按它们的散列顺序返回？所以，对于一些简单的数据： <http://example.com/step0> ex:contains <http://example.com/step1> <http://example.com/step1> ex:contains <http://example.com/step2> <http://example.com