[prolog] Le predicat assert en prolog [Résolu]

[hakim0681]

Bonjour à tous,
Cette question est destinée aux spécialistes de la programmation récursive en prolog

Mon soucis est comme soucis :
-Quand je déclare mon prédicat suivant :

Code :

nombre(Nom,X):-ligne(Nom,Liste), length(Liste,X).

et quand je fais appel à : "?- nombre(Nom,X)." dans ma console, il me renvoi le résultat une seule fois.
De ce coté la, parfait et aucun soucis.

Mais le problème est dans la suite, c'est que, quand je déclare mon prédicat suivant :

Code :

create_nb:-assert((nombre(Nom,X):-ligne(Nom,Liste), length(Liste,X))).

et quand je fais appel ici à : "?- nombre(Nom,X)." dans ma console, il me renvoi le résultat en double ou en triple.

Sauriez-vous de vient le problème SVP?

[Trap D]

Attention, assert ajoute dans la base de données générale de Prolog. Donc si on le fait 2 ou trois fois de suite le code qui effectue le assert les faits sont ajoutés deux ou trois fois.
Pour s'en assurer, il sufit de faire listing(nombre). en mode console, il doit apparaître deux ou trois fois.

Pour vider la base de données, il faut faire retractall(nombre(_,_)).

[hakim0681]

Merci Beaucoup