ABCLOG solution