../../Task/Binary-search/Prolog