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