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
C++, create variable with specific name General	1	264	July 25, 2021
Is there convention for naming intermediate variables? Discussion discussion , how-to , software	4	1224	December 15, 2021
Toplevel name variables Request For Comments	8	701	August 27, 2021
User provided variable names via '$VAR'/1 General	1	288	April 25, 2023
Finding the source code name for a variable at run time Help!	12	393	March 3, 2021