我有以下图表:
我的目标是获取某个节点的所有直接连接以及未与某个节点连接的所有节点,例如:
连接(1,X)。
X=3;
X=4;
X=5;
X=6。
无连接(1,X)。
X=2。
这是我的代码:
% knowledge base
path(1, 6).
path(1, 5).
path(1, 4).
path(1, 3).
path(6, 5).
path(5, 4).
path(4, 2).
path(2, 3).
% rules
connections(X,Y) :- path(X,Y) ; path(Y,X).
noConnections(X,Y) :- \+path(X,Y).
如您所见,我成功地进行了连接,但不知道如何为noConnections进行连接