Belief Revision in the GOAL Agent Programming Language

Algorithm 2

Knowledge  {

  % Mutual exclusion rules of go and stop predicates.

  neg (stop (X))  :-  go (X).

  neg (go (X))  :-  stop (X).

}