comment puis je afficher aussi le fait negatif ???

J'aimerais afficher dans l'exemple le mercredi est le bon jour
                                                 le jeudi est le
mauvais jour.


enfin avec la méthode de Pascal Bourguignon de modification de la base
de prolog comment je fais un "SI"

par exemple  :

on_dit(non(X)) :- retract(X),!.
on_dit(X) :- assert(X).

:- dynamic(il_y_a/2).

remplacement(mardi).

:- on_dit(il_y_a(foot,jeudi)).
:- on_dit(non(il_y_a(foot,jeudi))).
:- on_dit(il_y_a(foot,mercredi)).
:- on_dit(il_y_a(une_activité,mercredi)).

ici je voudrais dire que si il y une activité  le mercredi cela
implique qu'il n'y a pas de foot le mercredi et donc qu'on pourrais le
remplacer par mardi.

comment faire avec les :-

j'ai essayé ceci :

:- on_dit(il_y_a(une_activité,mercredi)) :- :-
on_dit(non(il_y_a(foot,mercredi))).

sa ne marche pas :( et ensuite comment remplacer avec ma variable de
remplacement ?

Je trouve le PROLOG assez déroutant au début mais fort interessant,
les possibilités ont l'air enorme !!!

Merci