Colour beads visual representation of compositional relational programs | IEEE Conference Publication | IEEE Xplore