Reification of term equality/inequality May 14, 2022 by Tarik Well for one thing, the name should be more declarative, like equality_truth/2.