search

trueagi-io / hyperon-experimental

MeTTa programming language implementation
https://metta-lang.dev
MIT License
134 stars 45 forks source link

Replace match implemented via unify by the grounded version #594

Closed vsbogd closed 6 months ago

vsbogd commented 6 months ago

unify doesn't behave as match in a case when space is matched with variable. match returns atoms from the space. unify assigns the space as a value for the variable.