Discussion :

[Eusebius]

Bonjour,

Version simple :

Comment récupérer le nom d'une variable, ou son symbole interne, dans un atome ou une chaîne de caractère ?

Version compliquée :

Je fais l'analyse descendante d'un arbre (pour simplifier - ne focalisez pas trop sur la structure d'arbre, c'est trompeur et ce n'est pas le point essentiel). Dans l'expression de cet arbre, il peut y avoir des variables libres, et la même variable peut apparaître dans plusieurs branches.
Exemple :

Code :

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

tree(tree(A, feuille), tree(tree(A, feuille), feuille))

Je traite l'arbre de manière récursive, avec un prédicat "traite/n", mettons (les autres arguments me serviront à remonter les infos de mon analyse).

Ce que je voudrais : lorsque je traite tree(A, feuille), je voudrais pouvoir récupérer, sous la forme d'un atome ou d'une chaîne, un identifiant pour A (variable libre), de manière à obtenir le même identifiant à chaque occurence de A dans l'arbre.

Merci par avance...

[Trap D]

C'est peut-être term_variables(+Term, -List) que tu recherches ?

[Eusebius]

C'est peut-être term_variables(+Term, -List) que tu recherches ?

Merci de ta réponse. Non, ce n'est pas ce que je recherche : ici les éléments de la liste sont les variables elles-mêmes. Par exemple :

Code :

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

1
2
?- term_variables(test(A, B, test(C)), List).
List = [A, B, C].

Alors que je voudrais obtenir quelque chose comme :

Code :

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

1
2
 
List = ['A', 'B', 'C'].

Enfin, sur une seule variable ça m'irait très bien, je n'ai pas besoin de l'extraction des variables libres.

[Eusebius]

Bilan des infos reçues sur la mailing-list : on ne peut pas récupérer, pour une variable donnée, de symbole stable dans un programme prolog (ni son nom d'origine, ni un symbole interne).

J'ai résolu mon problème autrement.