Li-Fan Chen
says to
YSITD
我突然發現Prolog好像滿適合拿來解那種靠杯的數學題