:- [domaintask4].
% --- Definition of the initial state ---------------------------------
-% north and east
connected(loc11, loc21, east).
connected(loc11, loc12, north).
connected(loc12, loc22, east).
connected(loc31, loc32, north).
connected(loc32, loc33, north).
-% The other way around, west and south
connected(loc21, loc11, west).
connected(loc12, loc11, south).
connected(loc22, loc12, west).