%	WARPLAN domain knowledge - robot turning on light

add(at(robot, X), goto(X)).
add(at(X, Y), push(X, Y)).
add(onbox(B), climbon(B)).
add(onfloor, climboff(B)).
add(lights_on, turnon).

del(at(robot, X), goto(Y)) :- X /= Y.
del(at(X, Y), push(X, Z)) :- X /= Z.
del(onbox(B), climboff(B)).
del(onfloor, climbon(B)).
del(lights_off, turnon).

can(goto(X), onfloor & at(robot, Y) & X /= Y).
can(push(X, Y), at(robot, X) & onfloor & X /= Y & pushable(X)).