我正在尝试使用 Prolog 解决一些关于图论和网络分析的任务。给定一个带有节点和连接的图：
connection(a, b).
connection(b, e).
connection(e, c).
connection(b, c).
connection(c, d).
connection(d, f).
connection(a, d).
connection(a, c).
connection(b, d).
我必须添加谓词检查一个节点是否连接到另一个节点。这是我的代码：
connected(X, Y) :- connection(X, Y).
connected(X, Y) :- connection(Y, X).
现在我必须编写一个谓词来检查某个图是否是一个集团。因此，根据集团的定义，所有节点是否相互连接。
如果有人对如何解决这个问题有任何建议，我很想听听。