只贴代码跟样例输出:
move(1,0).%表示船上有一位牧师,没有野人。
move(0,1).
move(0,2).
move(2,0).
move(1,1).
legal((X,Y,_)):- %X为左岸状态,Y为右岸状态。
legal_temp(X), %分别判断两岸的状态是否合法。
legal_temp(Y).
legal_temp((X,Y)):- (X=:=0,Y>=0,!);(Y=:=
只贴代码跟样例输出:
move(1,0).%表示船上有一位牧师,没有野人。
move(0,1).
move(0,2).
move(2,0).
move(1,1).
legal((X,Y,_)):- %X为左岸状态,Y为右岸状态。
legal_temp(X), %分别判断两岸的状态是否合法。
legal_temp(Y).
legal_temp((X,Y)):- (X=:=0,Y>=0,!);(Y=:=