Kyle Wu

Logic Programming :

课程用书:

Prolog, Programming for AI, part 1
Prolog, Programming for AI, part 2

Test Methodology:

课程用书:

Introduction to software testing

以上链接是从网上搜得，如果链接失效，请自行搜索。