Discussion :

[je®ome]

J' ai implanté un générateur de graphss en prolog ( biensûr ) .

A partir d'une taille de 14 400 Noeuds, j'ai un : ERROR: Out of global stack.
Est-ce un plantage correct a votre avis, ou n'ai-je pas bien implanter ?

Puis je voulais également vous demander votre avis à propos de la recherche dans le labyrinthe.
Ma recherche fonctionne, mais est assez lente. J'utilise Dijsktra, mais il existe des cycles dans mon graph, donc c'est loin d' être l'idéal pour Dijsktra.
C'est pourquoi j'ai ajouté un prédicat dynamic auquel j'ajoute chaque position qui a été parcourue,
et je vérifie à chaque rappelle avec

Code :

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

1
2
3
buts,
arc(X,Y),\+predicatdynamic(Y),
autre buts

Est-ce un bon choix ou existe-t-il une meilleure façon de procéder ?

Merci

[pcaboche]

C'est pourquoi j'ai ajouté un prédicat dynamic auquel j'ajoute chaque position qui a été parcourue,

(...)

Est-ce un bon choix ou existe-t-il une meilleure façon de procéder ?

C'est une excellente manière de procéder.

En manipulant dynamiquent la base de connaissances, on évite d'avoir à utiliser des listes et donc on consomme beaucoup moins de mémoire. C'est donc une bonne solution.

Si la solution est bonne, pourquoi ne l'ai-je pas exposée dans mon tuto sur les graphes ? Est-ce un oubli de ma part ? Pas du tout. Au paragraphe 1.3.3, j'écris :

Les prédicats définis dans ce cours ne modifieront pas la base de connaissance (pas de création de nouveaux graphes). A la place, ils retourneront leur résultat sous forme de liste (pour Dijkstra: chemin le plus court entre 2 points; pour Prim et Kruskal: liste des arcs appartenant à l'arbre de recouvrement minimal).

Pourquoi ce choix ? Parce que les gens ont habituellement du mal avec Prolog et sont encore plus perturbés si on modifie la base de connaissance dynamiquement. Voici les 3 difficultés auxquelles les lecteurs auraient été confrontés :

1. comprendre les algorithmes sur les graphes
2. comprendre Prolog
3. comprendre les prédicats dynamiques

La modification dynamique de la base de connaissances mériterait à elle seule un article pour montrer à la fois le principe mais aussi les limites de cette techniques (exemple: retract en cas de backtrack).

Pour ne pas rendre l'article trop difficile à comprendre, j'ai préféré ne pas du tout aborder le sujet.

Ce faisant, j'ai laissé aux lecteurs la possibilité d'aller plus loin et de découvrir par eux-mêmes certains aspects de Prolog (modification dynamique de la base de connaissances) plutôt que de leur fournir une version prémâchée. Le fait que vous ayez exploré cette solution par vous-même montre que j'ai bien rempli mon rôle.

[je®ome]

Merci pour cette réponse pcaboche.

Je partage complètement cette avis.
Souvent, quand on "découvre" quelque chose par soit même,
on sait bien mieux s'en servir par la suite que si on avait eu la réponse d'un coup.

Rien à dire sur les tutos, je trouve super qu'il existe des gens (comme toi) qui se prennent le temps de mettre de tels tutos sur pieds.

Encore merci.

ps: pour apporter ma petite contribution, j'ai ajouté mon premier code source prolog
dans les sources prolog de DVP

[pcaboche]

Rien à dire sur les tutos, je trouve super qu'il existe des gens (comme toi) qui se prennent le temps de mettre de tels tutos sur pieds.

Merci. Il n'y a pas très longtemps, j'avais vraiment beaucoup de temps pour écrire de tels tutos (cause chômage). Aujourd'hui, mon temps est beaucoup plus réduit et je n'ai pas encore de connection internet à mon domicile.

ps: pour apporter ma petite contribution, j'ai ajouté mon premier code source prolog
dans les sources prolog de DVP

Ok, super !

Comme je l'ai dit plus haut, je n'ai ni le temps ni la possibilité de regarder cela, donc si quelqu'un pouvait y jeter un oeil, ça serait cool (Trap D ou Eusebius, par exemple).

[Trap D]

Pas de problème pour la relecture, mais encore faudrait-il pouvoir y accéder, il est où exactement ? hier je n'ai pas réussi à le trouver

[je®ome]

Peut-être je me suis mal expliqué.
Voici le lien

vers les sources.
Pour l'instant mon post est le dernier dans ce thread.


Merci pour l' intérêt que vous y portez.