Discussion :

[gorgonite]

Salut,


J'ai cette fonction...

Code :

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

1
2
3
4
5
% on calcule les differences de X avec tous les elements de L
calc_all_differences(_,[],[]).
calc_all_differences(X,[H|Q],[N|L]) :-
	X is N+H,
	calc_all_differences(X,Q,L).

voilà le problème

| ?- calc_all_differences(1,[0],L).
uncaught exception: error(instantiation_error,(is)/2)
| ?- calc_all_differences(1,[0],[1]).

true ?

yes
| ?-

pourquoi ne veut-il pas me donner le résultat ?

[Eusebius]

pourquoi ne veut-il pas me donner le résultat ?

Je dirais que c'est toujours la même erreur... J'aurais tendance à dire que ce qui est à droite du "is" doit être instancié, pour que ce qui est à gauche puisse être affecté.

Code :

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

N is X-H

[gorgonite]

mais dans ce cas, cela ne marche plus...

Code :

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

1
2
| ?- calc_all_differences(N,[0],[1]).
uncaught exception: error(instantiation_error,(is)/2)

alors que ça marchait avec la règle précédente...


[EDIT] quand je mets les deux, y en a quand même un qui foire

[Eusebius]

mais dans ce cas, cela ne marche plus...

Code :

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

1
2
| ?- calc_all_differences(N,[0],[1]).
uncaught exception: error(instantiation_error,(is)/2)

alors que ça marchait avec la règle précédente...


[EDIT] quand je mets les deux, y en a quand même un qui foire

Je suis pas sûr que tu puisses faire marcher ton prédicat dans les deux sens avec "is"... J'attends avec impatience la solution de pcaboche

[gorgonite]

Je suis pas sûr que tu puisses faire marcher ton prédicat dans les deux sens avec "is"... J'attends avec impatience la solution de pcaboche

+1 c'est pour cela qu'au dela de deux arguments, je n'y arrive plus...


mon code

Code :

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

1
2
3
4
5
6
7
8
9
10
% on calcule les differences de X avec tous les elements de L
calc_all_differences(_,[],[]).
% methode 1
calc_all_differences(X,[H|Q],[N|L]) :-
	calc_all_differences(X,Q,L),
	X is N+H.
% methode 2
calc_all_differences(X,[H|Q],[N|L]) :-
	N is X-H,
	calc_all_differences(X,Q,L).

avec ces deux méthodes, tout devrait marcher... mais methode 2 n'est jamais utilisé :cry;

[Eusebius]

ya pas des prédicats prédéfinis pour savoir si une variable est instanciée ?

[gorgonite]

ya pas des prédicats prédéfinis pour savoir si une variable est instanciée ?

gagné... je ne savais même pas que c'était possible

Code :

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

1
2
3
4
5
6
7
8
9
10
% on calcule les differences de X avec tous les elements de L
calc_all_differences(_,[],[]).
calc_all_differences(X,[H|Q],[N|L]) :-
	var(X),
	calc_all_differences(X,Q,L),
	X is N+H.
calc_all_differences(X,[H|Q],[N|L]) :-
	var(N),
	N is X-H,
	calc_all_differences(X,Q,L).

[pcaboche]

J'attends avec impatience la solution de pcaboche

pcaboche, le sauveur du Prolog !
(qui malheureusement va devoir s'absenter à partir de 16h15)


Et bien pcaboche, il aimerait déjà comprendre ce que le prédicat est censé faire, parce que là, le nom ne l'aide pas beaucoup...

Ce qui serait top, ce serait de savoir quels paramètres sont en entrée (+), quels paramètres sont en sortie (-) et quels paramètres peuvent être en entrée ou en sortie (?). Exemple:

Code :

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

1
2
3
4
5
% predicat(+X, -L1, -L2).
 
% ou
 
% predicat(?X, ?L1, ?L2).

[pcaboche]

@gorgonite: tu oublies un cas: le cas où X, L1 et L2 sont tous instanciés et que l'on veut vérifier que l'on a bien la propriété X=N+H pour tous les éléments de la liste.

J'y reviendrai plus tard, là il faut que j'y aille.

A+

[gorgonite]

Ce qui serait top, ce serait de savoir quels paramètres sont en entrée (+), quels paramètres sont en sortie (-) et quels paramètres peuvent être en entrée ou en sortie (?).

en fait, ils sont tous en entrée/sortie... car je veux pouvoir résoudre tous les problèmes existant avec cette fonction

@gorgonite: tu oublies un cas: le cas où X, L1 et L2 sont tous instanciés et que l'on veut vérifier que l'on a bien la propriété X=N+H pour tous les éléments de la liste.

en effet, tu as raison... voilà le cas "correct"

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
% on calcule la liste des differences de X avec tous les elements de L
calc_all_differences(_,[],[]).
calc_all_differences(X,[H|Q],[N|L]) :-
	var(X),
	!,
	calc_all_differences(X,Q,L),
	X is N+H.
calc_all_differences(X,[H|Q],[N|L]) :-
	var(N),
	!,
	N is X-H,
	calc_all_differences(X,Q,L).
calc_all_differences(X,[H|Q],[N|L]) :-
	var(H),
	!,
	H is X-N,
	calc_all_differences(X,Q,L).
calc_all_differences(X,[H|Q],[N|L]) :-
	calc_all_differences(X,Q,L),
	X is N+H.

[pcaboche]

Avant de partir:

En swi-prolog, il existe le prédicat:

Code :

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

plus(?I1, ?I2, ?I3).

qui marche si au moins 2 des paramètres sont unifiés (n'importe lesquels).

En l'utilisant, ça se résume à:

Code :

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

1
2
3
4
calc_all_differences(_,[],[]) :- !.
calc_all_differences(A,[B|Q1],[C|Q2]) :-
  plus(B, C, A),
  calc_all_differences(A, Q1, Q2).

Il ne reste plus qu'à implémenter le prédicat plus/3 s'il n'existe pas sous GNU-Prolog.

[gorgonite]

Il ne reste plus qu'à implémenter le prédicat plus/3 s'il n'existe pas sous GNU-Prolog.

bien sûr qu'il n'existe pas... enfin pas encore

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
% addition
plus(X,Y,Z) :-
	var(X),
	!,
	X is Z-Y.
plus(X,Y,Z) :-
	var(Y),
	!,
	Y is Z-X.
plus(X,Y,Z) :-
	var(Z),
	!,
	Z is X+Y.
plus(X,Y,Z) :-
	Z is X+Y.

EDIT

mais ça ne marche pas...

Code :

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

1
2
3
| ?- calc_all_differences(3,[1,0],L).
 
no

[Trap D]

Tu as du mal le taper, en SWI-Prolog, ça fonctionne :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
% addition
my_plus(X,Y,Z) :-
	var(X),
	!,
	X is Z-Y.
my_plus(X,Y,Z) :-
	var(Y),
	!,
	Y is Z-X.
my_plus(X,Y,Z) :-
	var(Z),
	!,
	Z is X+Y.
my_plus(X,Y,Z) :-
	Z is X+Y.
 
calc_all_differences(_,[],[]) :- !.
calc_all_differences(A,[B|Q1],[C|Q2]) :-
  my_plus(B, C,A),
  calc_all_differences(A, Q1, Q2).

On obtient:

3 ?- calc_all_differences(3,[1,0],L).

L = [2, 3]

Yes

[pcaboche]

Bonsoir tout le monde, je suis de retour.

Moi j'ai ça comme programme :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
calc_all_differences(_,[],[]) :- !.
calc_all_differences(A,[B|Q1],[C|Q2]) :-
  +(B, C, A),
  calc_all_differences(A, Q1, Q2).
 
 
 
+(A, B, R) :-
  nonvar(A), nonvar(B),
  !,
  R is A+B.
 
+(A, B, R) :-
  nonvar(B), nonvar(R),
  !,
  A is R-B.
 
+(A, B, R) :-
  nonvar(A), nonvar(R),
  !,
  B is R-A.