Perso, pour le faire, j'ai utilisé un prédicat dynamic et le couple assert/retract, je te laisse réfléchir...
Pour ce qui est de = c'est l'unification pour "n'importe quoi", alors que =:= c'est...