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）后才完全显示。