規則如下:當 term1 與 term2 皆為常數時,可以 unify 的條件為當兩者為相同的 atom 或是數字。當 term1 是變數而 term2 為任意型別,則 term1 可以被 term2 取代進行 ...
確定! 回上一頁