Unification
The matching operation that finds variable bindings making two expressions equal. It is the core engine behind MeTTa queries and equation (rule) application.
The matching operation that finds variable bindings making two expressions equal. It is the core engine behind MeTTa queries and equation (rule) application.