使用prolog写的一些示例方法,展示了排序,排列组合,比较,函数定义等常见prolog方法