摘要： 上一章讲了用1~n的排序来表示n皇后的解，然后通过枚举1~n所有的排列、判定谓词过滤所有排列得到最终的所有解。 在此基础上，这一章我们思考是否存在更好的解法，从而深化这个问题。 效率问题 为了测试效率，在代码末尾加上 (queen (read)) 表示解决的皇后个数由输入的结果决定。 还是先把Sch 阅读全文