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))
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.