Discussion :

[lefevre59]

Bonsoir,
Je dois écrire le prédicat clos(X) qui est vrai uniquement si X est un terme clos.
Le problème est qu'il faut lister les éléments du terme et regarder un par un si chaque é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(a1,......,an) je ne vois plus du tout ce qu'il faut faire, je ne sais même pas comment démarrer.
Merci!

[Trap D]

Si tu sais le faire pour 3 arguments, quel est le problème avec N ?

[lefevre59]

Si on a 3 arguments, par exemple, on peut spécifier dans le programme la forme cherchée pour chacun d'entre eux:

Code :

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

clos(f(X,Y,Z)):-atomic(X),atomic(Y),atomic(Z).

Mais pour N on ne peut plus faire cette méthode là!

[Trap D]

As-tu droit au prédic at '..='
Exemple d'utilisation :

1 ?- f(X,Y,Z) =.. L.
L = [f, X, Y, Z] ;
false.

Auquel cas ça résoudrait ton problème.

[lefevre59]

Merci d'avoir répondu, mais je bloque encore......

Je n'avais pas encore vu ce prédicat (je crois...), à quoi correspond t'il vraiment (à moins qu'il ne liste que le symbole racine et les variables)?
Par contre mon prolog répond ceci je lance l'opération

Code :

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

1
2
3
4
5
| ?- f(X,Y,Z)=..L.
 
L = [f,X,Y,Z]
 
yes

(yes à la place de false).

Merci!

[Trap D]

J'utilise SWI-Prolog et la sémantique top-level est un peu bizarre ...
Il réponds false car il n'y a pas d'autre unification possible pour L (enfin je crois...).

1 ?- f(X, g(Y,Z), T,U) =.. L.
L = [f, X, g(Y, Z), T, U] ;
false.

Il liste au premier niveau les arguments des foncteurs, à toi de procéder récursivement.