Discussion :

[SWiPro]

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 !

[Trap D]

Bonjour
Puisque tu utilises SWI-Prolog, je ne peux que te renvoyer à la doc : http://www.swi-prolog.org/pldoc/man?section=IO
Ceci dit le prédicat tell/1 en conjonction avec told/0est très pratique :

Code :

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

?  tell('c:/a-travail/toto.txt'); listing(), told.

recopiera dans le fichier toto.txt situé dans le répertoire c:/a-travail la liste de tous les prédicats de topLevel

Pour la seconde question, on peut faire ceci :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
:-dynamic  reste/2.
 
toto(5,pommes).
reste(10, pommes).
 
 
mange :-
	retract(reste(X, Y)),
	toto(A, Y),
	NX is X - A,
	assert(reste(NX,Y)).

Tape ce code dans l'éditeur puis compile-le.
Ensuite tape dans la console listing(reste).
Puis tape mange.
Enfin listing(reste).

Tu obtiendras :

% c:/users/utilisateur/documents/prolog/dvp/toto compiled 0.00 sec, 0 clauses
10 ?- listing(reste).
:- dynamic reste/2.

reste(10, pommes).

true.

11 ?- mange.
true.

12 ?- listing(reste).
:- dynamic reste/2.

reste(5, pommes).

true.

Bon courage.

[SWiPro]

Merci pour votre réponse

la ligne ? tell('c:/a-travail/toto.txt'); listing(), told. marche pas ça me renvoi une erreur . Dois-je la mettre dans mon fichier.pl ou dans swi.

merci !

[Trap D]

Le répertoire "a-travail" existe-t-il sous c: ? Sinon, il faut le créer puis le programme fonctionnera.

[SWiPro]

Bonjour !

Merci bcp pour votre réponse. J'en ai une autre si cela ne vous dérange pas ?
Je voudrais retourner un résultat (plusieurs ligne)dans une liste exemple :

Code :

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

1
2
3
4
predicat("john",20,pomme).
predicat2("toto",50,orange).
 
function(Res):- predicat(X,Y,Z),

Res est la liste des predicats [predicat1,predicat2]

Code :

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

1
2
? function(Res).
[predicat1,predicat2]

Merci encore