[MNT] Update examples in README.md

README.md

@@ -64,15 +64,6 @@ sudo apt-get install swi-prolog
 
 For Windows and Mac users, please refer to the [SWI-Prolog Install Guide](https://github.com/yuce/pyswip/blob/master/INSTALL.md).
 
-## Examples
-
-We provide several examples in `examples/`. Each example is stored in a separate folder containing a README file.
-
-+ [MNIST Addition](https://github.com/AbductiveLearning/ABLKit/tree/main/examples/mnist_add)
-+ [Handwritten Formula](https://github.com/AbductiveLearning/ABLKit/tree/main/examples/hwf)
-+ [Handwritten Equation Decipherment](https://github.com/AbductiveLearning/ABLKit/tree/main/examples/hed)
-+ [Zoo](https://github.com/AbductiveLearning/ABLKit/tree/main/examples/zoo)
-
 ## Quick Start
 
 We use the MNIST Addition task as a quick start example. In this task, pairs of MNIST handwritten images and their sums are given, alongwith a domain knowledge base which contains information on how to perform addition operations. Our objective is to input a pair of handwritten images and accurately determine their sum.
@@ -196,6 +187,15 @@ bridge.test(test_data)
 
 </details>
 
+## Examples
+
+We provide several examples in `examples/`. Each example is stored in a separate folder containing a README file.
+
++ [MNIST Addition](https://github.com/AbductiveLearning/ABLKit/tree/main/examples/mnist_add)
++ [Handwritten Formula](https://github.com/AbductiveLearning/ABLKit/tree/main/examples/hwf)
++ [Handwritten Equation Decipherment](https://github.com/AbductiveLearning/ABLKit/tree/main/examples/hed)
++ [Zoo](https://github.com/AbductiveLearning/ABLKit/tree/main/examples/zoo)
+
 ## References
 
 For more information about ABL, please refer to: [Zhou, 2019](http://scis.scichina.com/en/2019/076101.pdf) and [Zhou and Huang, 2022](https://www.lamda.nju.edu.cn/publication/chap_ABL.pdf).