Discussion :

[cesar12]

Bonjour,
je dois traduire, cette fonction en prolog, et je n arrive absolument pas
Fonction

Code :

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

1
2
3
4
5
6
7
8
9
function lookup (tag, node, trail) 
    if tag = node then 
        [tag : trail]) -- si c'est une feuille atomique 
    elsif tag = tag(node) then 
        concatenate (flatten (left(node)), flatten (right(node)), [tag : trail]) 
    elsif result := lookup (tag, left(node), [tag(node) : trail]) then 
        result 
    else 
        lookup (tag, right(node), [tag(node) : trail])

Probleme

Code :

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

1
2
3
lookup (Tag, Tree, Tags) :- 
    lookup2 (Tag, Tree, [], Tags). 
lookup2 (Tag, Tree, Trail, Tags) :-

merci

[Trap D]

Bonjour

Il aurait été intéressant que tu expliques ce que fait exactement cette fonction (même si les noms peuvent donner une petite idée), la signification et le type de chaque argument et le type du résultat.
La traduction en Prolog d'une fonction ayant 3 arguments doit avoir 4 arguments, donc la fonction étant lookup (tag, node, trail) ,
le prédicat intial est de la forme :

Code :

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

lookup_prolog(Tag, Node, Trail, Result)

Le prédicat de travail lookup2 s'écrit

Code :

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

lookup2(Tag, Node, Trail, CurrentResult, FinalResult) :-

PS : attention, il ne doit pas y avoir d'espace entre la fin du nom du prédicat et la parenthèse ouvrante.