Discussion :

[ebloui]

Bonsoir,
Est-il possible de convertir un atome en variable, par exemple dans le but de réécrire un terme en remplaçant chaque atome qui n'est ni prédicat ni foncteur par une variable de même identifiant que l'atome, ou conservant une bijection?

exemple: réécrire p(a,f(a,b)) en p(A,f(A,B)) ou p(X1,f(X1,X2))

[Trap D]

On peut déjà transformer un atome en term à l'aide term_to_atom.
Ensuite on peut utiliser récursivement le prédicat =.. dont voici la description dans l'aide de SWI-Prolog

?Term =.. ?List [ISO]
List is a list which head is the functor of Term and the remaining
arguments are the arguments of the term. Each of the arguments
may be a variable, but not both. This predicate is called `Univ'.
Examples:

?- foo(hello, X) =.. List.
List = [foo, hello, X]

?- Term =.. [baz, foo(1)]
Term = baz(foo(1))

[Trap D]

Je ne sais pas où vous en êtes, j'ai réussi à le faire mais les variables s'afficehnt "mal" :

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
22
23
modifie(In, Out) :-
	modifie(In, [], Out, _).
%
modifie(In, LstArgs, Out, LstArgs1) :-
	In =..[Fonc|Args],
	modifie_1(Args, LstArgs, [], Res, LstArgs1),
	Out =.. [Fonc| Res].
 
modifie_1([], Lst, R, RV, Lst) :-
	reverse(R, RV).
 
 
modifie_1([H | T], LstArgs, Tmp, Res, LstArgs1) :-
	functor(H, _, 0),
	(   member([H, X], LstArgs)
	->  modifie_1(T, LstArgs, [X | Tmp], Res, LstArgs1)
	;   modifie_1(T, [[H, X]| LstArgs], [X | Tmp], Res, LstArgs1)).
 
modifie_1([H | T], LstArgs, Tmp, Res, LstArgs1) :-
	functor(H, _, N),
	N > 0,
	modifie(H, LstArgs, Out, LstArgsTmp),
	modifie_1(T, LstArgsTmp, [Out|Tmp], Res, LstArgs1).

Avec comme sortie :

?- modifie( p(a,f(a,b)), X).
X = p(_G2957,f(_G2957,_G2987)) .

Il est difficile d'afficher des "noms" de variables A, B, C sur la console Prolog.