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 July 21, 2020, 1:28pm 9

In debugging order_by/2 found witness/2

1 Like

Topic		Replies	Views
C++, create variable with specific name General	1	269	July 25, 2021
Toplevel name variables Request For Comments	8	722	August 27, 2021
Is there convention for naming intermediate variables? Discussion discussion , how-to , software	4	1231	December 15, 2021
Retaining meaningful variable names with term_expansion/2 Help!	2	337	December 17, 2020
Alphabetical order between two free variables using term_to_atom/2 Help! how-to	4	496	November 30, 2020