Predicat terme clos en Prolog - Divers - Programmation
MarshPosté le 17-01-2009 à 22:06:21
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!
Message édité par olivierLefevre le 17-01-2009 à 22:11:56
Marsh Posté le 17-01-2009 à 22:06:21
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!
Message édité par olivierLefevre le 17-01-2009 à 22:11:56