序言：操作員期望

Question

我在以下兩條規則的最後得到「操作員期望」錯誤，但我不明白爲什麼。

testDrivenChecking :- 
%Stores all the methods of the projet which are tested by a unit test 
findall(allTestedMethods, 
    (create(allTestMethods, 'method', _, _), 
     addProperty(allTestMethods, 'annotation', 'Test', _, _), %Method created and ensures that it's a test. 
     not(delete(allTestMethods, 'method', _, _)), %The test should not be deleted 
     addReference(allTestMethods, 'calls', allTestedMethods, _, _), 
     not(remReference(allTestMethods, 'calls', allTestedMethods, _, _))), %Ensures that the test keep testing the method 
    allTestedMethodsList), 
list_to_set(allTestedMethodsList, allTestedMethodSet), 

%Stores all the methods of the project which are not tests or main 
findall(allMethods, 
    (create(allMethods, 'method', _, _), 
     not(addProperty(allMethods, 'annotation', 'Test', _, _)), 
     not(addProperty(allMethods, 'name', 'main', _, _)), 
    allMethodsList), 
list_to_set(allMethodsList, allMethodsSet), 

%Intersection gives the set of methods which are not tested in restMethods 
intersection(allTestedMethodSet, allMethodSet, restMethods), 

%Gives the lengths of each set 
length(allTestedMethodSet, LengthTest), 
length(allMethodSet, LengthMethods), 
length(restMethods, LengthRest). 

我找了幾個小時，但我真的找不到爲什麼我不工作。

Answer 1

此：

findall(allMethods, 
     (create(allMethods, 'method', _, _), 
     not(addProperty(allMethods, 'annotation', 'Test', _, _)), 
     not(addProperty(allMethods, 'name', 'main', _, _)), 
     allMethodsList), 

應該是：

findall(allMethods, 
     (create(allMethods, 'method', _, _), 
     not(addProperty(allMethods, 'annotation', 'Test', _, _)), 
     not(addProperty(allMethods, 'name', 'main', _, _))), 
     allMethodsList), 

注意額外的右括號在第四行。

Answer 2

另請注意，not/1是過去的遺蹟。考慮使用標準的(\+)/1內置謂詞。