News for hackers. Stuff that matters.
Re:What Is miniKanren? by tmtvl on Thursday January 02, 2025 @01:22PM (#42577116)
They are commutative. As to whether unification and association are the same thing... yes, kinda. Unifying two terms kinda means associating them with each other in a database. Though I will say that it would have been better to say 'unifies x and z, as well as y and 3'.

There are no comments on this comment yet.