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'.
[ Parent
| on HN ]
There are no comments on this comment yet.