% switches-plan.txt #program initial. h(light,on). h(sw(X),up) :- switch(X). #program final. goal :- h(light,on),h(sw(1),down),h(sw(2),up),h(sw(3),down). :- not goal. #show o/1. % It should yield 2 possible minimal plans of length 2