Reification of term equality/inequality August 10, 2023 by Tarik Well for one thing, the name should be more declarative, like equality_truth/2.