Standard Out:

in clause color_region/oi(region(Name,Color,Neighbors),Colors) :-
    select/oio(Color,Colors,Colors1),
    members/oi(Neighbors,Colors1).
  variables have no producer: ["Name"]

Standard Err:


real	0m0.462s
user	0m0.252s
sys	0m0.052s