夜市小霸王

最近一門課是語意分析，要把敘述用電腦可以讀的方式去表示
例如有段話：
資訊部裡所有的人都會用Word
→For all X Workin(X,IS departmant)＝> Use(X,Word)
如果是會寫程式的員工，則一定會使用Excel
→For all X Workin(X,IS department) ^ Write(X,Program)＝> Use(X,Excel)
有一位叫瑪利的資訊部門員工他不會用Excel
→Workin(Mary,IS departmant) ^ ~Use(Mary,Excel)
還有一位叫愛華的員工，他會用Excel，但是他不會用Word
→Use(Aiwa,Excel)^~Use(Aiwa,Word)
請證明瑪利不會寫程式且愛華不是資訊部門員工？
???
說真的，如果很原始很一般的對話去想，還滿好想的
但是要用函數推導
我的天，想了一個小時，好像回到最原始的狀態，嬰兒牙牙學語....

或許會問？幹嘛...用想的就可以，幹嘛用函數去推導
想想知識庫裡有上萬條這類型的語意
電腦在不用思考的情況下，用函數可以在短時間內推導出上百萬條結果
這就是反璞歸真的實力！