[cbc] Graphical interface with Ciao