Discussion :

[Maxoo]

salut,

je suis en train de faire un super programme en prolog pour résoudre un sudoku, mais disons que pour les sudoku assez difficiles il reste bloqué.

et du coup, comme de base, nous n'avons que 4 Mo de mémoire, il se bloque et fait planter le programme.

En gros, je voulais savoir si on peut soit ajuster cette mémoire, et donc l'augmenter. Ou alors est-ce qu'on peut la flusher et donc vider petit à petit la mémoire au lieu de garder des trucs qui servent à rien.

Apres je me demandais, si on fait des trucs qui ne serve pas et qu'il y a un "no" donc un retour en arrière est-ce que ça bouffe de la mémoire local ??

Je précise que je n'ai pas besoin de source pour résoudre des sudokus, car on doit n'utiliser que nos propres prédicats.
Et que si on avait plus de mémoire, ça resolverait le sudoku.

[Trap D]

Avec SWI-Prolog tu peux ajuster la mémoire à tes besoins :
Fenêtre Help/XPCE(GUI)Manuel lance une fenêtre.
Dans le menu système faire File/Edit Preference/Prolog Stack Limits

[Maxoo]

rahh !!!

j'ai oublié de dire qu'on travail avec GNU Prolog, car nos profs sont assez chauvins quand meme !!

Donc merci pour cette réponse rapide, mais il me faudrait la meme chose sur gnu prolog !!

[Trap D]

Euh, j'ai GNU Prolog chez moi que je n'utilise jamais (je préfère SWI-Prolog ).
Mais quand même, je fais Help/manuel et je tape "stack" dans l'aide et la première rubrique sur laquelle je tombe est "Adjusting the size of Prolog stacks"
C'est pour Unix mais quand même

[Maxoo]

bah voila
la on est sous windows et je trouve pas comment le modifier.

moi aussi je préfere swi, mais tu sais les profs ...

[Trap D]

Critique pas les profs, j'en suis un
Par contre pour ton pb je ne trouve pas, y'a pas grand chose pour Windows dans l'aide

[Maxoo]

je critique pas Les profs, je dis que nos profs sont des fois un peu trop buté ...

[pcaboche]

Salut tout le monde !

Mais dites donc, on dirait que c'est devenu une mode d'implémenter une méthode de résolution de sudoku en Prolog. Tous les profs ce sont donnés le mots on dirait! Et bien sûr, en PLC c'est trop facile (d'autant qu'il y a un article là-dessus qui traine sur DVP...), donc il faut utiliser des méthodes "à l'ancienne".

Je vois que tu viens de Compiègne, tu ne viendrais pas de l'UTC par hasard?


Pour ton problème de mémoire, c'est pas en l'augmentant que tu vas changer grand chose, surtout si la complexité en terme de taille est en O(n^2) (voire pire...). Il faut donc trouver d'autres solutions.

Y a-t'il des mutables en GNU Prolog? (c'est à dire des variables dont tu peux réassigner la valeur). Si tel est le cas, cela t'évitera de devoir déclarer de nouvelles variables alors que tu ne te sers plus des anciennes (par contre, on s'éloigne de la philosophie Prolog...).

Je m'étais penché sur ce problème de mémoire et j'ai élaboré une solution dans laquelle on modifie directement la base de faits au moyen de prédicats dynamiques (avec assert/retract). Dans ce cas, la grille n'est plus mise dans pile mais dans la base de faits (donc on utilise moins de mémoire) et les accès aux éléments sont beaucoup plus rapides. Par contre, le problème fut au niveau du backtracking (à cause des assert/retract). Sur ce point, j'en ai bavé...

Apres je me demandais, si on fait des trucs qui ne serve pas et qu'il y a un "no" donc un retour en arrière est-ce que ça bouffe de la mémoire local ??

En principe, lors d'un retour arrière (quel qu'il soit), les variables qui ne servent plus sont désallouées.

Les assert sont également défaits (du moins d'après la norme ISO, pas en Prolog traditionnel) mais pas les retract ! (c'est bien la le problème: on ne retrouve plus la base de connaissance exactement dans l'état où on l'a laissée...)

[Maxoo]

ah !! pcaboche si tu savais comme je suis content de te voir !!

Donc en fait, ce que je dois faire d'abord, c'est bien utiliser la propriété de :
- faire des choses
- mais si ca ne fait rien avancer -> y a un "no"
- et apres ca revient en arrière
- du coup tout ce que je viens de faire est vidé de la mémoire.

Dans ce cas la, ca videra surement la mémoire, et ca devrait aller.

[pcaboche]

ah !! pcaboche si tu savais comme je suis content de te voir !!

Désolé de ne pas avoir répondu plus tôt: j'ai eu des trucs à faire.

Donc en fait, ce que je dois faire d'abord, c'est bien utiliser la propriété de :
- faire des choses
- mais si ca ne fait rien avancer -> y a un "no"
- et apres ca revient en arrière
- du coup tout ce que je viens de faire est vidé de la mémoire.

Oui, c'est ça.

Par contre, si tout se passe toujours très bien, ça remplit gentiment la pile jusqu'au fatidique "stack overflow". Et pour éviter cela, il faut gruger...

[Maxoo]

Bon, on a réussi.

en fait pour notre probleme, on voulait "flusher" la mémoire, bah on y pas allé par quatre chemin, on a fait des cuts partout !!
(un cut c'est ca ! pour ceux qui suivent pas)

Donc du coup on peut pas forcement revenir en arriere, mais on en avait pas besoin.

Merci à tous !!
P.S : euh ... à pas bientot sur ce forum là j'espere !!

[pcaboche]

bah on y pas allé par quatre chemin, on a fait des cuts partout !!

La fin justifie les moyens !

P.S : euh ... à pas bientot sur ce forum là j'espere !!

Rooo... ben pourquoi? T'aimes pas le Prolog? A non, c'est parce que ton programme va super bien marcher et donc t'auras plus besoin de notre aide!

[Maxoo]

Rooo... ben pourquoi? T'aimes pas le Prolog? A non, c'est parce que ton programme va super bien marcher et donc t'auras plus besoin de notre aide!

euh, oui d'un coté mon programme marche et la soutenance est demain à midi donc de ce coté là c'est fini !!

Et puisque je ne travaillerais pas avant un bon bout de temps (si ca se trouve pour toujours) avec du prolog, et bien je ne passerai plus sur ce forum.

Mais toi pcaboche c'est pas pareil !! tu es dans ma liste d'amis !!
si tu as un probleme en PHP/MySQL !! je suis la !!

[pcaboche]

Bon ben bonne chance pour ta soutenance!

Et puisque je ne travaillerais pas avant un bon bout de temps (si ca se trouve pour toujours) avec du prolog, et bien je ne passerai plus sur ce forum.

Comment ça? Tout le monde sait bien que Prolog va dominer le monde et rendre tous les autres langages obsolètes !

Mais toi pcaboche c'est pas pareil !! tu es dans ma liste d'amis !!

Chouette, j'ai un ami, je suis content!

si tu as un probleme en PHP/MySQL !! je suis la !!

Merci, c'est gentil. Mais PHP/MySQL, je connais assez bien...

A si en fait, il y a quelques jours on me demandait comment on pouvait interfacer du PHP avec du Prolog, t'as une idée?

[Maxoo]

Comment ça? Tout le monde sait bien que Prolog va dominer le monde et rendre tous les autres langages obsolètes !

A si en fait, il y a quelques jours on me demandait comment on pouvait interfacer du PHP avec du Prolog, t'as une idée?

il serait interessant de pourvoir faire des prédicats en prolog et les utiliser en dans un script PHP il est vrai. mais il doit bien y avoir des solutions, mais faut installer des trucs sur les serveurs.

[Amrac]

Je re-up le topic si quelqu'un a eu une solution miracle depuis le temps...

Cette année, on doit faire un jeux de plateau ou l'objectif est de faire aller tout nos pions sur l'ile du milieu avant l'autre joueur (en respectant tout une série de contraintes pour agrémenter le jeu).

On a terminé l'algo qui fonctionne bien, mais au bout de 35 de tour le programme plante pour mémoire insufisante (13MO max d'autorisé apparement).

On as essayer de mettre pas mal de cut sans trop de succès, on va essayer en mettant un entre chaque instruction mais bon... C'est crade :/

Si seulement on pouvait monter la limite de 10 MO....