../../Task/Farey-sequence/Prolog