Belief Revision in the GOAL Agent Programming Language

Algorithm 3

beliefs  {

 % Green and red light rules.

 go (X)  :-  green (X).

 stop (X)  :-  red (X).

}