XSB/packages/iprolog/heavy_debugging
