Ashes and broken brickwork of a logical theory (prolog), 2010