Resolving the threat by demotion

travel(A, B, FULL)

at(truck, A)

connected(A, B)

fuel(FULL)

+at(truck, B)

+fuel(EMPTY)

-at(truck, A)

-fuel(FULL)

Previous slide

Next slide

Back to first slide

View graphic version