parent :- process(a) # o(process(b)).

process(I) :- task(I,1) * task(I,2) * task(I,3).

task(I,J) :- monitor(task(I,J)).