Genesereth是斯坦福cs系logic group的头儿，哈佛应用数学专业PhD，本科物理。

他在coursera有一门非常好的课：Introduction to Logic。这门课比较浅，有大量在线课件可用，包教包会那种，你有时间就可以去enroll。

想起他是因为刚好翻到一本他的书，Introduction to Logic Programming。令人诧异的是出版于2020年，#Logic Programming# #逻辑编程# 完全凉凉的年代。[笑哈哈]

照例是有自己的Logic Programming实现，没仔细看，好像是 #Epilog# 语言可以在js里跑的，随书有在线课件。

从title说他应该水平挺高的，但是干的活儿跟cs有什么关系一点也体会不到啊。