river-cross - DFS.pl為廣度搜索的prolog程序 打開默認程序后在?-后輸入 solution(((0,0),(3,3),1),((3,3),(0,0),0),[((0,0),(3,3),1)],S);true. 或 solution(S,((3,3),(0,0),0),((0,0),(3,3),1));true. 由于結果默認不完全顯示，因此L結果出來后通過按w（即write）后才完全顯示。