2011-09-02 66 views

回答

2

isa2/2只是簡單地引用了一個名爲isa2的謂詞,它帶有2個參數,即前2個僅僅是名稱的一部分,而不是一個特殊的記號。