Wumpus World in Prolog

An AI Classic

The task is to implement agent reasoning in Prolog. We need to make inferences about our environment based on perceptions and previous actions. See the source code for more details.

Source: wumpus.pl

The sequence of actions is obtained by querying c_action/1:

      ?- c_action(A).
      A = right ;
      A = right ;
      A = forward ;
      ...
      A = forward ;
      A = climb ;
      A = done ;
      false.

This is an example of Thinking in States, describing a sequence of state transitions in a relational way.

Main page