归纳谓词（Inductive Predicate）

Examples of verified algorithms

1. 二叉搜索树的节点删除（Delete a Node in the Binary Tree *）
2. 二叉搜索树的节点插入（Insert a Node to the Binary Tree）
3. 冒泡排序（可置换性）（Bubble Sort with Permutability Predicate）
4. 八皇后问题（递归）（8 Queens Problem: Recursive Implementation）
5. 八皇后问题（迭代）（8 Queens Problem: Iterative Implementation）