Tek-Tips is the largest IT community on the Internet today!

Members share and learn making Tek-Tips Forums the best source of peer-reviewed technical information on the Internet!

  • Congratulations Mike Lewis on being selected by the Tek-Tips community for having the most helpful posts in the forums last week. Way to Go!

atom to variable conversion

Status
Not open for further replies.

ebloui

Instructor
May 17, 2012
1
CH
I wonder if it possible (and easy?) to convert an atom into a variable bearing the same name, and that in order to rewrite a term as in the example below:

rewrite
p(a,f(a,b))
into
p(A,f(A,B))
or equivalently into
p(X1,f(X1,X2))
 
Status
Not open for further replies.

Part and Inventory Search

Sponsor

Back
Top