1. 后语

2. 书单

如果你对prolog和形式推导很感兴趣，下面这些书应该会喜欢

• 《A Mathematical Introduction to Logic, Second Edition》 Herbert B. Enderton 人民邮电出版社
• 《面向计算机科学的数理逻辑》 陆钟万 科学出版社
• 《面向计算机科学的数理逻辑系统建模与推理》 哈斯 机械工业

我向来认为应用型书籍只是授人予鱼，下面这些则是授人予渔的书，推荐研读

• 《Engines of logic》 马丁·戴维斯 湖南科学技术出版社
• 《BEING LOGICAL: A Guide to Good Thinking》 D·Q·麦克伦尼

更进一步的，这些哲学书才能从根本推动你的思考

• 《Leviathan》 霍布斯
• 《An Enquiry concerning Human Understanding》 Hume
• 《小逻辑》 Hegel
• 《大逻辑》 Hegel