% File 'scenario1' :- macros maxInt -> 4; varsigma -> 1. :-macros segNode(#1,#2,#3) -> (startNode(#1)=(#2) & endNode(#1)=(#3)). :- include 'traffic'. :- objects a,b,c :: node; seg_ab,seg_bc1,seg_bc2 :: segment; car1 :: car. caused segNode(seg_ab,a,b). caused segNode(seg_bc1,b,c). caused segNode(seg_bc2,b,c). caused length(seg_ab)=4. caused length(seg_bc1)=4. caused length(seg_bc2)=3. caused speedLimit(seg_ab)=2. caused speedLimit(seg_bc1)=2. caused speedLimit(seg_bc2)=1. caused topSpeed(car1)=2. :- show segment(C); distance(C); speed(C); nextSegment(C)=Sg; node(C)=Nd; willLeave(C). :- query label :: 1; maxstep :: 3..4; 0: position(car1,seg_ab,0); 0: positiveOrientation(car1); maxstep: node(car1)=c. :- query label :: 2; maxstep :: 5; 0: position(car1,seg_ab,0); 0: positiveOrientation(car1); maxstep: node(car1)=c.