Inductive Programming (符号学习) 2025

课件

• https://www.doc.ic.ac.uk/~shm/IP/

预备知识

• 引言 (pdf, pptx)
• 命题逻辑 (pdf, pptx)
• 一阶逻辑 (pdf, pptx)
• 逻辑程序 (pdf, pptx)
• The Art of Prolog (pdf)
• The Craft of Prolog (pdf)