Knowledge  {
  % Mutual exclusion rules of go and stop predicates.
  neg (stop (X))  :-  go (X).
  neg (go (X))  :-  stop (X).
}
Algorithm 2