Discussion :

[Alpha573]

Bonjour,
Je cherche à faire un prédicat qui me permettrait de récupérer le maximum et le minimum d'un ensemble de prédicats..
Je m'explique.
Par exemple, j'ai les prédicats suivants :

Code :

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

1
2
3
4
pred(1).
pred(2).
pred(3).
pred(4).

J'aimerais faire un prédicat qui me sorte 1 et 4.
J'avais pensé à faire une liste que l'on rempli avec les prédicats, la trier, puis récupérer la tête et la queue. Mais je n'arrive pas à insérer un élément.

Quelqu'un a une solution ?

Merci !

[luckyvae]

Est-ce que tu connais le prédicat findall/3?

findall(-A,+G,-L) est vrai si:
-A est une variable
-G est un goal utilisant A
-L est la liste des valeurs pour A rendant G vrai

ça devrait t'aider

[Alpha573]

Ok merci, je pense que je vais pourvoir en faire quelque chose.
Une fois les prédicats placés dans la liste, je pourrais la trier et récupérer la te et la queue.
Mais comment je fais pour manipuler ma liste après ? Comment on la référence ?

[luckyvae]

Mais comment je fais pour manipuler ma liste après ? Comment on la référence ?

De la même façon que toutes les listes

Une fois les prédicats placés dans la liste, je pourrais la trier et récupérer la te et la queue.

Tu peux récupérer les valeurs de tes prédicats et non pas tes prédicats en eux-même. Ainsi tu te retrouveras avec une liste de nombres. Et pourquoi vouloir la trier? Si c'est pour récupérer le maximum et le minimum, ça peut être fait en O(N), tandis que la trier sera en O(N log(N)) ce qui sera moins rapide...

[Alpha573]

Merci, avec findall j'obtiens bien ma liste de prédicats.
Donc j'ai une question de base, quand je fais :

Code :

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

1
2
3
 
?- findall(X, pred(X), R).
R = [1, 2, 3, 4].

Ma liste est bien dans R.
Mais comment je fais pour manipuler cette liste ensuite ?
Quand je fais :

Code :

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

1
2
3
?- write(R).
_G225
true.

Je pense que j'ai pas compris un truc avec le principe d'unification, tu pourrais m'éclairer ?

Merci !

[luckyvae]

La durée de vie d'une variable est le temps d'un goal ou le temps d'un prédicat. Du coup, dans un premier goal, tu te crées une variable qui meurt et toi tu essaies de la récupérer après qu'elle soit morte. (il y en a qui ont essayés, ils ont eu des problèmes )

Pour un bien, il faut que tu définisses de nouveaux prédicats dans un fichier que tu chargeras et ensuite tu pourras appeler ce nouveau prédicat qui t'indiquera directement la solution

[Alpha573]

Résolu !
Merci bien !