有序单向链表的倒置
倒置有序单向链表，使新链表仍具有有序性，且有序性与原链表相反。 （验证时间约 75.5sec）
[Back to Index]
验证特点：有序单向链表，内置谓词\list，自定义归纳谓词的使用
标注说明：函数前条件：head指向长为m的有序递增单向链表；
函数后条件：返回值指向长为m的有序递减单向链表，且head指向链表最后一个节点。
程序样例 
倒置有序单向链表，使新链表仍具有有序性，且有序性与原链表相反。 （验证时间约 75.5sec）
验证特点：有序单向链表，内置谓词\list，自定义归纳谓词的使用
标注说明：函数前条件：head指向长为m的有序递增单向链表；
函数后条件：返回值指向长为m的有序递减单向链表，且head指向链表最后一个节点。
程序样例