% switches-postdict.txt #program initial. % Completing unknown facts 1 {h(sw(X),up); h(sw(X),down)} 1 :- switch(X). 1 {h(light,on); h(light,off)} 1. % Observations: we use a constraint! :- not &tel{ h(sw(3),up) & h(light,on) ;> h(light,off) & h(sw(1),down) & h(sw(3),up) ;> o(tog(3)) }. #show h/2. #show o/1. % We get 4 possible explanations...