2011-04-23 32 views

回答

4

它們指示每個參數是應該在輸入處實例化還是從謂詞返回時得到實例化。

  • '+'表示在調用謂詞時應該實例化參數。
  • 「 - 」表示該參數返回實例化從謂語

對於工會謂詞返回時,你應該SET1和SET2稱之爲實例化,並在返回時將SET3實例化。

+0

+1。爲了完整性,這些被稱爲*模式註釋*,因爲一個變量的實例化的未被實例化的狀態被稱爲它的*模式*(它與它的類型正交)。 – 2011-04-24 10:04:08