As title shows. Some handy online-courses for interdisiplinary research in formal semantics. Esp. the Prolog.
#1 Introductory Course of AI
http://www.nuist.edu.cn/courses/jsj/GD_jsj_003b/index.htm
#2 Theories of AI
http://www.nuist.edu.cn/courses/jsj/GD_jsj_026y/index.htm