Bonsoir,
J'ai besoin de vous car je dois écrire en Prolog le prédicat clos(X) qui renvoie vrai uniquement si X est un terme clos (terme qui ne contient pas de variable, par exemple, allo ou f(h,j,k)).
Le problème est qu'il faut lister les éléments du terme et regarder un par un si l'élément est une variable. Si le terme est de la forme f(a,X,b) ça va, mais s'il est de la forme f(t1,......,tn) je ne vois plus du tout.
Merci!