Pascal Bourguignon a écrit :

Fred <fred@work.com> writes:

Mais ceci présume qu'on va écrire le prédicat d'affirmation avant
celui de la négation.

Oui, effectivement.


Mais imagine cette discussion entre nos trois amis Alice, Bernard et Charles:

Alice   dit: << Il n'y a pas foot Jeudi >>.
Bernard dit: << Si, il a foot Jeudi >>.

Que devra penser Charles?



D'autre part, si on considère cette autre discussion:

Alice   dit: << Il a foot Jeudi >>.
Bernard dit: << Non, il n'y a pas foot Jeudi >>.

Que devra penser Charles?

Dans les deux cas, Charles ne peut pas se prononcer, sauf s'il suppose que c'est le dernier qui a parlé qui a raison.

D'autre part, le "Si," et le "Non," impliquent une précédence et tendent à faire croire que c'est le dernier qui a raison.

Tout dépend du comportement qu'on souhaite :
- C'est le dernier qui a raison, dans ce cas le retract convient bien
- En cas de litige on ne peut pas se prononcer et le prédicat Quand_y_a_t_il/2 convient mieux.

Cordialement,
Fred