格局的Prolog

Question

匹配比方說，我有這樣的規則：

andR(conj(C,D)). 

所以我想它匹配的物品，諸如conj(x,y)這是罰款。但是，你怎麼得到它（再而不是兩個原子的即結合）匹配更復雜的東西，如：

andR(conj(not(conj(not(a),c)),c),not(a)). 

因爲Prolog的不匹配這跟我的andR/1斷言，因爲它解釋逗號並認爲我已經嘗試用2個參數調用1個謂詞。

任何想法傢伙？這讓我困惑了一會兒！

Answer 1

難道你不需要額外的conj圍繞頂級conj和not？