%
% Use logical disjunction to choose between two sequential processes.
% To see the backtracking, execute the program seq(choose,fail).
%

choose :-  (monitor(a1) * monitor(a2) * monitor(a3)) 
           \/ (monitor(b1) * monitor(b2) * monitor(b3)).