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 IamaSherpa on being selected by the Tek-Tips community for having the most helpful posts in the forums last week. Way to Go!
-
Constructing terms. f(X) should become f(X1)
Hello all! I'm currently working on a larger Prolog project and came across a problem I couldn't solve yet. I have a term f(X), where X is an free variable and I would like "rename" this variable to X1 to obtain the term f(X1). So basically I need a predicate rename(OldTerm, Suffix...
