http://www.cnblogs.com/limitplus/archive/2010/03/26/1698098.html
http://blog.sina.com.cn/s/blog_70556d100100n5xt.html
http://baike.baidu.com/link?url=8pHT5CSQ03FFTPGfxfM6XRL72zfceKG-TKkRSGvXBMVXqodw6ETIYDacg8NY3tSZGPAJ0RfKzE6nhI4z5VvLI_
http://www.zhihu.com/question/27427752
http://www.cnblogs.com/limitplus/archive/2010/04/04/1704409.html
什么是一阶逻辑(First-order Logic)
http://blog.sina.com.cn/s/blog_4e8581890102ean4.html