Forward Checking Maintain Node Consistency

noattack(X,Y,K):-

X #\= Y,

X+K #\= Y,

X-K #\= Y.

When X is bound, exclude X, X+K,

and X-K from the domain of Y.

Q

X

X

X

X

X

X

X

X

X

X

X

X

X

X

Previous slide

Next slide

Back to first slide

View graphic version