logicomp