二分查找（递归算法+谓词描述）
二分查找要求被检索的数组是有序的。检索的过程递归实现。（验证时间约 15sec）
[Back to Index]
验证特点：量化断言，自定义谓词
标注说明： 函数前条件：通过自定义谓词（sorted）描述数组的有序性；
函数后条件：程序返回值 != -1，找到 val；程序返回值 = -1，未找到 val。
程序样例 
二分查找要求被检索的数组是有序的。检索的过程递归实现。（验证时间约 15sec）
验证特点：量化断言，自定义谓词
标注说明： 函数前条件：通过自定义谓词（sorted）描述数组的有序性；
函数后条件：程序返回值 != -1，找到 val；程序返回值 = -1，未找到 val。
程序样例