Discussion :

[cris73]

Salut à tous,

est-il possible en prolog de créer une variable globale ?
Si oui, comment fait-on pour modifier sa valeur dans une sous fonction ?

Merci

[Eusebius]

Bonjour
A ma connaissance non il n'y a pas de notion de variable globale.
Point supplémentaire, en prolog une variable ne peut pas changer de valeur une fois qu'elle a été unifiée... (à part via le backtracking de l'interpréteur, mais ce n'est pas vraiment un changement de valeur) C'est une notion essentielle à saisir.

Par contre tu peux mettre un "fait" dans le texte de ton programme, qui sera accessible de n'importe quel prédicat. Par exemple si je mets ça :

Code :

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

1
2
valeur(x, 3).
valeur(_, 4).

alors n'importe où dans le programme, prolog pourra savoir que les prédicats suivants sont vrais :

Code :

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

1
2
3
4
valeur(x, 3).
valeur(X, 4).
valeur(Y, 4).
valeur(nimportequoi, 4).

[Trap D]

En SWI-Prolog cette notion existe : voir ici
Un mécanisme simple est

Code :

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

1
2
3
4
nb_setval(+Name, +Value)
    Associates  a copy of  Value created with duplicate_term/2 with  the
    atom  Name.   Note that  this can be  used to  set an initial  value
    other than [] prior to backtrackable assignment.

et

Code :

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

1
2
3
4
5
6
nb_getval(+Name, -Value)
    The  nb_getval/2 predicate is  a synonym for  b_getval/2,  introduced
    for  compatibility  and  symmetry.    As  most  scenarios  will  use
    a  particular  global  variable  either  using  non-backtracable  or
    backtrackable assignment,  using nb_getval/2can be  used to document
    that the variable is used non-backtracable.

[Eusebius]

En SWI-Prolog cette notion existe

Je connaissais pas... Mais c'est un peu le même mécanisme que ce que j'ai proposé

[cris73]

Merci
je ne connaissais pas ces commandes, nb_setval() et nb_getval(),
elles sont tres pratique.

Voici un exemple pour utiliser une variable globale :

Code :

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

1
2
3
4
5
6
 
  main :-
        T = 1,
        nb_setval(myvar, T),
        nb_getval(myvar, V),
        writeln(V).