{ 1, 2, 3, 4, 5, 6} 内の∀ i , jallDifferent(A, B, C, D, E, F)の場合に限り、 i番目とj番目の引数がi = jの場合にのみ単一化されます。
したがってallDifferent(3, 1, 4, 1, 5, 9)、間違っていますが、allDifferent(3, 1, 4, 2, 5, 9)本当です。
allDifferent/6Prologでどのように実装しますか?
A特に、6-choose-2 = 15 の不等号≠ B、A≠ C、 ...、E≠ F(または、むしろ、それらの Prolog レンディション)をリストする必要がないことを表現する方法はありますか?