Discussion :

[bakhoucha]

Bonjour ,

J'ai besoin d'exécuter ce prédicat:

Code :

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

1
2
3
4
nbre_positif_couvert_H([Hyp|H],Nbre_couvert_H):-
	nbre_positifs_couverts(Hyp,NbreP),
	Nbre_couvert_H is Nbre_couvert_H + NbreP,
	nbre_positif_couvert_H(H,Nbre_couvert_H).

Mais il me donne l'erreur :

Code :

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

uncaught exception: error(instantiation_error,(is)/2)

Je crois que je dois initialiser ma variable Nbre_couvert_H, mais commen t?

Merci bien.

[C_C]

salut,

En Prolog, une fois que tu as donné une valeur à une variable tu ne peux plus la modifier.
Donc, le code suivant, qu'on voit beaucoup dans d'autres languages n'est pas possible en Prolog.

Code :

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

x=x+1

Dans ton cas, c'est cette ligne qui pose problème:

Nbre_couvert_H is Nbre_couvert_H + NbreP,

Une solution possible:

Code :

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

1
2
3
4
nbre_positif_couvert_H([Hyp|H],Nbre_couvert_H):-
	nbre_positifs_couverts(Hyp,NbreP),
	Nbre_couvert_H2 is Nbre_couvert_H + NbreP,
	nbre_positif_couvert_H(H,Nbre_couvert_H2).

[Trap D]

Dans une clause Prolog, une variable ne s'unifie qu'avec une seule valeur, donc effectivement Nbre_couvert_H is Nbre_couvert_H + NbreP, pose problème (sauf si NbreP est égal à 0.
Maintenant, tu n'as peut-être pas donné de valeur à Nbre_couvert_H au premier appel...

[billynirvana]

Dans le prolog (le vrai) de Marseille, il existe la but suivant:

val(x+1, y);

qui affecte à la variable y la valeur de l'entier x augmenté de 1!


Billy

[Trap D]

Il existe le prédicat succ(M,N) qui réussit si N est le successeur de M (N = M+1).

Pour le problème du P.O., en fait c'est uniquement que l'un des deux arguments Nbre_couvert_H ou NbreP n'était pas instancié, car sinon, et bien la clause Nbre_couvert_H is Nbre_couvert_H + NbreP échoue, c'est tout, il n'y a pas d'erreur.

[C_C]

Pour le problème du P.O., en fait c'est uniquement que l'un des deux arguments Nbre_couvert_H ou NbreP n'était pas instancié, car sinon, et bien la clause Nbre_couvert_H is Nbre_couvert_H + NbreP échoue, c'est tout, il n'y a pas d'erreur.

Je pense que oui, il y une erreur. Même si les variables Nbre_couvert_H et NbreP seraient toutes les deux instanciées, ce bout de code ne serait pas éxécuté avec succès.

En remplaçant Nbre_couvert_H par X et NbreP par Y et en simplifiant un peu on arrive à cet exemple:

Code :

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

1
2
3
4
5
debut:-nbre_positif_couvert_H(1,1).
 
nbre_positif_couvert_H(X,Y):-
        X is X + Y,
        write(X).

Les variables X et Y sont instanciées mais il y toujours une erreur. Il n'est pas possible de faire

Code :

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

X is X + Y

.

[Trap D]

On n'est pas d'accord sur le vocabulaire, le prédicat échoue, mais ce n'est pas une erreur au sens

uncaught exception: error(instantiation_error,(is)/2)

[C_C]

J'ai lu un peu trop vite et j'ai pas vu que tu disais que le prédicat échouait.
En effet, il peut ne pas avoir d'erreur au niveau de la syntaxe du code mais le prédicat peut échouer.