facts:
connected(1,2).
connected(3,4).
connected(5,6).
connected(7,8).
connected(9,10).
connected(12,13).
connected(13,14).
connected(15,16).
connected(17,18).
connected(19,20).
connected(4,1).
connected(6,3).
connected(4,7).
connected(6,11).
connected(14,9).
connected(11,15).
connected(16,12).
connected(14,17).
connected(16,19).
求任意两点是否连接

答案：
connected(X,Y).
is_connected(X,Y):- connected(X,Z) , is_connected(Z,Y).

问题出在题设方面，原题是要求5和10是否连接，另外如果按照上述的predicat，回路已经在题目当中避免了

我用的是gcc运行的