Problème avec Assert

**Seb981** · 17/05/2007, 16h33

Bonjour,

J'ai un probléme avec le prédicat assert.
Il m'insere bien les prédicats que je veux, seulement il ne les mets pas dans mon fichier .pl mais les garde en memoire.

Donc quand je redemare swi-prolog il ne les a plus. Comment faire pour y remedier ? Est ce possible ?

@+ Seb

**vivoli12** · 17/05/2007, 17h14

Il faut ouvrir un flux vers ton fichier texte, et tu l'ouvres en mode append pour ecrire à la fin du fichier, puis tu fais un write(TonFait) et tu fermes le flux.
Et il faut également faire le assert pour le mettre en mémoire.

**cflo91** · 18/05/2007, 19h29

J'ai le meme problème et je n'arrive pas à le résoudre...

j'ai mis au début de mon fichier :- dynamic(aime/3).

puis je fais asserta(aime(E,I,N)),

mais ça ne s'ajoute pas dans mon fichier....

je voudrais que aime(E,I,N) s'ajoute dans mon fichier test.pl (c'est le fichier qui contient mes faits et mes regles)

Merci d'ance pour votre aide...

**cflo91** · 19/05/2007, 12h02

Personne n'a de solutions ???

**pcaboche** · 20/05/2007, 00h18

Envoyé par cflo91

Personne n'a de solutions ???

En gros, tu veux un programme Prolog qui génère le code d'un autre programme Prolog. C'est un peu bizare, mais bon. Si c'est vraiment ce que tu veux faire, il va falloir le fair à la main.

Dans la doc SWI, il y a une section "Examinig the program". Elle documente les prédicats permettant de faire de l'introspection (connaitre les prédicats, leur clause, touça...). Enjoy !

**cflo91** · 20/05/2007, 00h43

Envoyé par pcaboche

En gros, tu veux un programme Prolog qui génère le code d'un autre programme Prolog. C'est un peu bizare, mais bon. Si c'est vraiment ce que tu veux faire, il va falloir le fair à la main.

Dans la doc SWI, il y a une section "Examinig the program". Elle documente les prédicats permettant de faire de l'introspection (connaitre les prédicats, leur clause, touça...). Enjoy !

Non, ce n'est ce que je veux.

J'ai le meme problème que seb981, assert insere bien les prédicats que je veux, seulement il ne les mets pas dans mon fichier .pl mais les garde en memoire.
Je voudrais qu'il les ajoute dans mon fichier .pl

Comment faire ? ouvrir un flux ? comment ?

Merci

**pcaboche** · 20/05/2007, 00h52

Envoyé par cflo91

assert insere bien les prédicats que je veux, seulement il ne les mets pas dans mon fichier .pl mais les garde en memoire.

Ca, c'est un fonctionnement normal.

Envoyé par cflo91

Je voudrais qu'il les ajoute dans mon fichier .pl

Un programme qui change son code en plein milieu d'exécution, j'appelle ça un virus polymophe.

**cflo91** · 20/05/2007, 11h09

ah, parceque j'ai un projet à faire et on me demande d'ajouter un fait dans ma base......

alors je ne sais pas comment faire ?

**Trap D** · 20/05/2007, 11h32

Envoyé par pcaboche

Un programme qui change son code en plein milieu d'exécution, j'appelle ça un virus polymophe.

Je ne vois pas ce qu'il y a d'extraordinaire d'ajouter des faits dans une base et de les sauvegarder les bases de faits et les règles peuvent se modifier au cours d'un apprentissage par exemple.

**pcaboche** · 20/05/2007, 11h47

Envoyé par Trap D

Je ne vois pas ce qu'il y a d'extraordinaire d'ajouter des faits dans une base et de les sauvegarder les bases de faits et les règles peuvent se modifier au cours d'un apprentissage par exemple.

Oui, mais modifier directement le code source de départ, je trouve ça un peu dangereux ("Oups, il a effacé mon fichier...

").

**cflo91** · 20/05/2007, 13h40

**pcaboche** · 20/05/2007, 14h13

Envoyé par cflo91

Quoi ? Ton fichier a été effacé ?

**cflo91** · 20/05/2007, 14h28

non , mais je ne sais toujours pas comment faire pour ajouter un fait à mon fichier ...

**pcaboche** · 20/05/2007, 14h35

Envoyé par cflo91

non , mais je ne sais toujours pas comment faire pour ajouter un fait à mon fichier ...

On a répondu à cette question dès le deuxième message:

Envoyé par vivoli12

Il faut ouvrir un flux vers ton fichier texte, et tu l'ouvres en mode append pour ecrire à la fin du fichier, puis tu fais un write(TonFait) et tu fermes le flux.