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

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

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