Bonjour,

J'ai deux questions
La première est comment exécuter un programme Prolog et écrire le résultat de l’exécution dans un fichier txt (Pour précision j'utilise swiprolog).
La deuxième est comment mettre a jour un prédicat (fait) statique.
Exemple :
Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2
3
toto(5,pommes).
              Reste(10, pommes).
              mange(X,Y):-Reste(X,Y), toto(A,B), X>A alors le fait Reste(10, pommes) deviens Reste(X-A, Y).
Merci !