Alternate Choice: Adding a Second Operator
travel(A, B, FULL)
at(truck, A)
connected(A, B)
fuel(FULL)
+at(truck, B)
+fuel(EMPTY)
-at(truck, A)
-fuel(FULL)
At this point, travel
and refuel are unordered
with respect to each other.
Previous slide
Next slide
Back to first slide
View graphic version