如何在prolog中指定一個獨特的事實？

Question

我想指定一個人對某件事的評論，如果是肯定或否定，但不能同時出現。

我希望把我的文件一般規則和這些事實：

:-comment(Person, Thing, B), comment(Person, Thing, OtherB), B \=OtherB. 
comment(person, book, positive). 
comment(person, book, negative). 

，當我嘗試做一個查詢，我會收到一個錯誤，或者說告訴我的東西是矛盾的。

當然是有效的如下事實：

comment(person, book, positive). 
comment(person, icecream, negativa). 

Answer 1

您應該通過以下方式添加到您的文件checkContradictory（至少在gnuprolog）：

yourfile.lp

comment(person, book, positive). 
comment(person, book, negative). 

checkContradictory:- checkCommentContradiction, ... others checking predicates 

checkCommentContradiction:-comment(Person, Thing, positive), 
      comment(Person, Thing, negative),throw(contradiction_with_comments). 

所以，如果你想查詢前檢查您的文件，只需執行你的checkContradictory或者如果你有一個主謂，只是添加checkContradictory樣的要求。

重要，如果你需要有一個是沒有錯誤的和異常的時候有你需要添加的findall一個矛盾：

yourfile.lp

comment(person, book, positive). 
comment(person, book, negative). 

checkFreeOfContradictory:- checkAllCommentsContradictions. 

checkAllCommentsContradictions:-findall(X,checkCommentContradiction,R). 

checkCommentContradiction:-comment(Person, Thing, B1), 
      comment(Person, Thing, B2), 
      (B1==B2->true;throw(contradiction_with_comments)). 

主要是因爲同一事實將與評論（人，東西，B1）和評論（人，東西，B2）統一。

Answer 2

如果重構謂詞，會更容易嗎？ 以這樣的方式更換一個謂語由兩個：

positive_comment(Person,Book). 
negative_comment(Person,Book). 

然後使用一些像

positive_comment(Person,Book):- 
negative_comment(Person,Book), 
throw_some_error, 
false. 
negative_comment(Person,Book):- 
positive_comment(Person,Book), 
throw_some_error, 
false. 

或更好地利用不同的檢查：

check_comments_consistency(Person,Book):- 
    positive_comment(Person,Book), 
    negative_comment(Person,Book), 
    throw_some_error. 

...或者類似的東西。

你明白了嗎？