Binary Search - Prolog | SlaveCode