Which of the following programs represent
the specification:

p holds if q and r hold; otherwise, if q
does not hold p holds if s holds.

Question

Which of the following programs represent
the specification:

p holds if q and r hold; otherwise, if q
does not hold p holds if s holds.

Answer

p :- q, r.      p :- s.

Answer

p :- q, !, r.        p :- s.

Answer

p :- q, r.       p :- \+q, s.

Crowdly