给出的查询是
beside(Next,Beside,[a,b,c,d]).
Next=a, Beside=b;
Next=b, Beside=c;
Next=c, Beside=d;
如果元素 x,y 彼此相邻,则该规则应该为真。
我的只能给出第一个答案,Next=a, Beside=b
但不能给出其他答案。
那么我怎样才能让它提供所有的答案呢?
给出的查询是
beside(Next,Beside,[a,b,c,d]).
Next=a, Beside=b;
Next=b, Beside=c;
Next=c, Beside=d;
如果元素 x,y 彼此相邻,则该规则应该为真。
我的只能给出第一个答案,Next=a, Beside=b
但不能给出其他答案。
那么我怎样才能让它提供所有的答案呢?