Li-Fan Chen says to YSITD
因為我發現我還沒碰過 Logic Programming (?