.type Node <: symbol

.decl reachable   (node1:Node, node2:Node)
.decl same_clique (node1:Node, node2:Node)
.decl edge        (node1:Node, node2:Node)
reachable(X,Y)   :- edge(X,Y).
reachable(X,Y)   :- edge(X,Z),
                    reachable(Z,Y).
same_clique(X,Y) :- reachable(X,Y), reachable(Y,X).

edge("0", "1").
edge("1", "2").
edge("2", "3").
edge("3", "4").
edge("4", "5").
edge("5", "0").
edge("5", "6").
edge("6", "7").
edge("7", "8").
edge("8", "9").
edge("9", "10").
edge("10", "7").

blah /
