The Zoo World

The Zoo World is an action domain proposed by Erik Sandewall as part of his Logic Modelling Workshop. In the paper "Representing the Zoo World and the Traffic World in the Language of the Causal Calculator" this domain is formalized in the input language of the Causal Calculator.

The formalization is available here online:

landscape (file zoo-landscape)
animals (file zoo-animals)
changing positions (file zoo-movement)
actions (file zoo-actions)
file zoo that includes the four files above
a specific landscape (file zoo-example)
test files
1. test 1 (zoo-test1)
2. test 2 (zoo-test2)
3. test 3 (zoo-test3)
4. test 4 (zoo-test4)
5. test 5 (zoo-test5)
6. test 6 (zoo-test6)

To run each test, for instance test 1, load the input files:

| ?- loadf(['zoo','zoo-example','zoo-test1']).

(For other tests, replace 'zoo-test1' with the corresponding test file)

and then ask a query:

| ?- query 0.

The trace of each run is available here.