Как указать уникальный факт в прологе?

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) и комментарий (Person, Thing, 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. 

... или что-то подобное.

у вас есть идея?