41 reputation
2
bio website
location
age
visits member for 2 years, 7 months
seen Sep 3 at 19:43

Apr
29
awarded  Supporter
Apr
29
comment Does Mathematica use first order or second order order unification?
Thank you! Could you explain the difference between unification and matching for I think the difference isn't clear in my head.
Apr
28
awarded  Student
Apr
28
comment Does Mathematica use first order or second order order unification?
In Second order unification, it is possible to replace a pattern variable with a function:
Apr
28
comment Does Mathematica use first order or second order order unification?
Just to clarify the difference between first order and second order unification.
Apr
28
asked Does Mathematica use first order or second order order unification?