#base.

% Domain: driverlog, Problem: DLOG-2-3-6
% 
% 
% OBJECTS  >>>>>
typedobject( driver( driver2 ) ).
typedobject( location( p65 ) ).
typedobject( location( p39 ) ).
typedobject( location( p91 ) ).
typedobject( location( p87 ) ).
typedobject( location( p64 ) ).
typedobject( location( p27 ) ).
typedobject( location( p08 ) ).
typedobject( location( p17 ) ).
typedobject( obj( package1 ) ).
typedobject( obj( package2 ) ).
typedobject( obj( package3 ) ).
typedobject( obj( package4 ) ).
typedobject( obj( package5 ) ).
typedobject( obj( package6 ) ).
typedobject( location( s9 ) ).
typedobject( location( s8 ) ).
typedobject( truck( truck1 ) ).
typedobject( truck( truck3 ) ).
typedobject( truck( truck2 ) ).
typedobject( driver( driver1 ) ).
typedobject( location( s2 ) ).
typedobject( location( s1 ) ).
typedobject( location( s0 ) ).
typedobject( location( s7 ) ).
typedobject( location( s6 ) ).
typedobject( location( s5 ) ).
typedobject( location( s4 ) ).
typedobject( location( s3 ) ).
typedobject( location( p45 ) ).
typedobject( location( p51 ) ).
typedobject( location( p79 ) ).
typedobject( location( p53 ) ).
typedobject( location( p74 ) ).
typedobject( location( p76 ) ).
typedobject( location( p59 ) ).
typedobject( location( p34 ) ).
typedobject( location( p60 ) ).
typedobject( location( p82 ) ).
% <<<<<  OBJECTS
% 

% 
% 
% DOMAIN PREDICATES  >>>>>
holds( link( s2,s1 ) ).
holds( link( s6,s3 ) ).
holds( path( p74,s7 ) ).
holds( link( s7,s6 ) ).
holds( path( s3,p53 ) ).
holds( path( p76,s6 ) ).
holds( path( p27,s7 ) ).
holds( link( s2,s9 ) ).
holds( path( s7,p79 ) ).
holds( link( s1,s8 ) ).
holds( link( s7,s9 ) ).
holds( path( s5,p45 ) ).
holds( path( p91,s9 ) ).
holds( link( s2,s4 ) ).
holds( path( p08,s0 ) ).
holds( path( p74,s4 ) ).
holds( link( s0,s8 ) ).
holds( link( s2,s7 ) ).
holds( path( p51,s1 ) ).
holds( path( s2,p82 ) ).
holds( link( s4,s5 ) ).
holds( link( s9,s2 ) ).
holds( link( s9,s7 ) ).
holds( link( s7,s1 ) ).
holds( path( s7,p87 ) ).
holds( link( s8,s0 ) ).
holds( path( p65,s5 ) ).
holds( link( s4,s1 ) ).
holds( link( s6,s7 ) ).
holds( path( p64,s4 ) ).
holds( path( s3,p39 ) ).
holds( path( p51,s5 ) ).
holds( path( p64,s6 ) ).
holds( link( s0,s2 ) ).
holds( path( s4,p64 ) ).
holds( path( p39,s9 ) ).
holds( path( p34,s4 ) ).
holds( link( s4,s9 ) ).
holds( path( s7,p27 ) ).
holds( path( p39,s3 ) ).
holds( link( s7,s0 ) ).
holds( link( s3,s8 ) ).
holds( path( s7,p17 ) ).
holds( path( p82,s2 ) ).
holds( link( s8,s6 ) ).
holds( path( p08,s8 ) ).
holds( path( p17,s1 ) ).
holds( path( s5,p53 ) ).
holds( path( s2,p27 ) ).
holds( path( s5,p65 ) ).
holds( path( s1,p91 ) ).
holds( link( s1,s3 ) ).
holds( link( s7,s2 ) ).
holds( path( p87,s8 ) ).
holds( path( p53,s5 ) ).
holds( path( s1,p51 ) ).
holds( path( p79,s7 ) ).
holds( link( s6,s8 ) ).
holds( link( s1,s2 ) ).
holds( link( s4,s7 ) ).
holds( path( p87,s7 ) ).
holds( link( s7,s5 ) ).
holds( link( s9,s3 ) ).
holds( link( s4,s0 ) ).
holds( path( s3,p34 ) ).
holds( path( s7,p76 ) ).
holds( path( s4,p45 ) ).
holds( path( p34,s3 ) ).
holds( link( s1,s4 ) ).
holds( path( s7,p74 ) ).
holds( link( s8,s5 ) ).
holds( path( s4,p34 ) ).
holds( link( s9,s8 ) ).
holds( link( s1,s7 ) ).
holds( path( s8,p87 ) ).
holds( link( s5,s7 ) ).
holds( path( p53,s3 ) ).
holds( path( p17,s7 ) ).
holds( link( s5,s4 ) ).
holds( link( s3,s9 ) ).
holds( path( s6,p65 ) ).
holds( path( s6,p64 ) ).
holds( link( s0,s1 ) ).
holds( link( s0,s4 ) ).
holds( link( s4,s2 ) ).
holds( path( s6,p60 ) ).
holds( path( s9,p91 ) ).
holds( link( s3,s6 ) ).
holds( path( s5,p51 ) ).
holds( path( s6,p76 ) ).
holds( link( s9,s4 ) ).
holds( path( p27,s2 ) ).
holds( link( s3,s1 ) ).
holds( path( s9,p79 ) ).
holds( link( s5,s2 ) ).
holds( path( p45,s5 ) ).
holds( path( p91,s1 ) ).
holds( path( s0,p60 ) ).
holds( link( s2,s0 ) ).
holds( path( s5,p59 ) ).
holds( link( s8,s1 ) ).
holds( path( s9,p59 ) ).
holds( link( s5,s8 ) ).
holds( path( s8,p82 ) ).
holds( path( p59,s5 ) ).
holds( link( s9,s6 ) ).
holds( path( p82,s8 ) ).
holds( link( s0,s7 ) ).
holds( path( p65,s6 ) ).
holds( link( s8,s9 ) ).
holds( link( s7,s4 ) ).
holds( link( s8,s3 ) ).
holds( path( p60,s6 ) ).
holds( link( s2,s5 ) ).
holds( path( p59,s9 ) ).
holds( path( p60,s0 ) ).
holds( path( s8,p08 ) ).
holds( path( s0,p08 ) ).
holds( path( s4,p74 ) ).
holds( link( s6,s9 ) ).
holds( path( p76,s7 ) ).
holds( link( s1,s0 ) ).
holds( path( p45,s4 ) ).
holds( path( p79,s9 ) ).
holds( path( s9,p39 ) ).
holds( path( s1,p17 ) ).
% <<<<<  DOMAIN PREDICATES
% 

% 
% 
% INIT  >>>>>
init( at( package2,s4 ) ).
init( at( truck1,s7 ) ).
init( empty( truck1 ) ).
init( at( package4,s7 ) ).
init( empty( truck3 ) ).
init( empty( truck2 ) ).
init( at( package6,s1 ) ).
init( at( package5,s4 ) ).
init( at( package1,s3 ) ).
init( at( truck2,s9 ) ).
init( at( driver1,s1 ) ).
init( at( package3,s9 ) ).
init( at( driver2,s3 ) ).
init( at( truck3,s2 ) ).
% <<<<<  INIT
% 

% 
% 
% GOAL  >>>>>
goal( at( driver1,s4 ),true ).
goal( at( driver2,s9 ),true ).
goal( at( truck2,s5 ),true ).
goal( at( truck3,s0 ),true ).
goal( at( package1,s2 ),true ).
goal( at( package2,s2 ),true ).
goal( at( package3,s9 ),true ).
goal( at( package4,s1 ),true ).
goal( at( package5,s0 ),true ).
goal( at( package6,s2 ),true ).
% <<<<<  GOAL
% 

