Query:

Answer:

Model:

Justification: Expand All+1-1Collapse All

• p(4) :-
  • 3 #> 0,
  • 4 #= 3+1,
  • p(3) :-
    • 2 #> 0,
    • 3 #= 2+1,
    • p(2) :-
      • 1 #> 0,
      • 2 #= 1+1,
      • p(1) :-
        • q(1) :-
          • 1 #> 0.
      • q(2) :-
        • 2 #> 0.
    • q(3) :-
      • 3 #> 0.
  • q(4) :-
    • 4 #> 0.
• global_constraint.