Discussion :

[f25diablovos]

bonjour,
je suis débutant et j'ai un probleme avec assert dans turbo prolog.
je veux ajouter des prédicats dans ma base a partir d'un fichier
j'ouvre mon fichier je lit un mot X et je veux ajouter le prédicat mot(X)
assert(mot(X)) me retourne une erreur "wrong type object"
merci

[Saint_Louis]

En Turbo Prolog, il faudra déclarer le predicat "mot" comme suit :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
domains ....
 
database 
   mot (son_type)
 
predicates
   les autres predicats

On ajoute des des faits dans la base de données avec

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

 asserta ( mot(_)).

ou avec

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

 assertz (mot(_)).

(La différence est qu'on les rajoute au début ou à la fin des faits déjà existants, puisque l'ordre pourrait intervenir)
On enlève des faits avec

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

retract (mot(_))

mais faire attention si le fait n'existait pas. Pour modifier un fait, on l'enlève puis on le rajoute.