The Traffic World
The Traffic 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:
To test each scenario, for instance scenario1, load the input file:
| ?- loadf 'scenario1'.
and then ask a query:
| ?- query 0.
The trace of each run is available here.