Query:

Answer:

Model:

Justification: Expand All+1-1Collapse All

• off(A │{A #> 5}) :-
  • t_off(5) :-
    • swc(5),
    • swd(5).
  • not t_on_in(5,A │{A #> 5}) :-
    • not t_on(B │{B \= 2}) :-
      • not swa(B │{B \= 2}).
    • t_on(2) :-
      • swa(2),
      • swb(2).
• global_constraint :-
  • not o_chk_1 :-
    • not on(C │{C #> 0,C #=< 2}) :-
      • not t_on(D │{D \= 2}) :-
        • not swa(D │{D \= 2}).
      • proved(t_on(2)).
    • not on(E │{E #> 5}) :-
      • not t_on(F │{F \= 2}) :-
        • not swa(F │{F \= 2}).
      • proved(t_on(2)),
      • t_off_in(2,E │{E #> 5}) :-
        • t_off(5) :-
          • swc(5),
          • proved(swd(5)).
    • on(G │{G #> 2,G #=< 5}) :-
      • t_on(2) :-
        • swa(2),
        • proved(swb(2)).
      • not t_off_in(2,G │{G #> 2,G #=< 5}) :-
        • not t_off(H │{H \= 5}) :-
          • not swc(H │{H \= 5}).
        • proved(t_off(5)).
    • not off(G │{G #> 2,G #=< 5}) :-
      • not t_off(I │{I \= 5}) :-
        • not swc(I │{I \= 5}).
      • proved(t_off(5)).