Hi all, I’m trying to find a way to systematically assign meaningful names to (fresh) variables. The structures whose variables I want to name are “metarules”. It’s not important what those are exactly (they are second-order definite clauses whose literals are enclosed in first-order terms), but I…

How to assign meaningful names to (fresh) variables?

EricGT November 14, 2019, 12:02pm 2

Topic		Replies	Views
Rename specific variables in a term with new names Help! how-to	4	516	May 20, 2021
Retaining meaningful variable names with term_expansion/2 Help!	2	266	December 17, 2020
Toplevel name variables Request For Comments	8	630	August 27, 2021
Findall does not preserve the names of the variables Help!	3	269	May 5, 2020
Meta predicates and name overriding General	0	120	December 15, 2023