?- set_info_verbosity(1).
true.

?- ex_runall.
Verbosity is 1
------------------------------------------------------------------------
Formula 10-1 decodes with options [] to:
[(r<--p, not q), (not s<--not t, not u)]
------------------------------------------------------------------------
Formula 10-2 decodes with options [] to:
[(r;not p<--not q)]
------------------------------------------------------------------------
Formula 10-3 does not encode a program
------------------------------------------------------------------------
Formula 11 decodes with options [] to:
[(r<--p, not q), (false<--p, not q, not r)]
------------------------------------------------------------------------
Formula 10-1 decodes with options [decode_partition=0] to:
[(r<--p, not q), (not p<--not q, not r), (not s<--not t, not u)]
------------------------------------------------------------------------
Found R for example 14-1:
[(p<--r)]
------------------------------------------------------------------------
Found R for example 14-2:
[(r(A)<--p(A))]
------------------------------------------------------------------------
Found R for example 14-3:
[(r(A)<--p(A))]
------------------------------------------------------------------------
Found R for example 14-4:
[(t(A)<--s(A)), (t(A)<--q(A), not r(A))]
------------------------------------------------------------------------
Found R for example 14-5:
[(t(A)<--p(A))]
------------------------------------------------------------------------
Found R for example 14-6:
[(false<--z(A), s(A, B), s(B, C))]
------------------------------------------------------------------------
Found R for example 14-7:
[(r(A, B);not r(A, B)<--true), (not r(A, B);not r(B, C)<--not r(A, C))]
------------------------------------------------------------------------
Found R for example 16-1:
[(r<--p), (q<--s), (r<--s)]
------------------------------------------------------------------------
Found R for example 16-2:
[(s<--p), (r<--q), (s<--q)]
------------------------------------------------------------------------
Found R for example 16-3:
[(s<--not r)]
true.

?- halt.