% File 'zoo-example' : specific landscape % landscape specific to a scenario % The number of positions, locations, gates may be different among scenarios. :- macros numberOfPositions -> 8. :- objects 1..numberOfPositions :: position; cageA :: cage; gateAO :: gate. %%% Scenario Landscape % cageA outside % ------- % | 1 2 | 5 6 % | 3 4 ao 7 8 % ------- %%% % a position is in the outside location by default default loc(P)=outside. caused loc(1)=cageA. caused loc(2)=cageA. caused loc(3)=cageA. caused loc(4)=cageA. % The neighbor relation is symmetric (lmw) caused neighbor(P1,P) if neighbor(P,P1) where P