../../Task/Range-consolidation/Prolog