Li-Fan Chen
says to
YSITD
然後我還是不知道Prolog主要是幹嘛的