search

ravel-net / pyotr

Apache License 2.0
0 stars 0 forks source link

Unification algorithm does not work with rules with lists #23

Closed mudbri closed 1 year ago

mudbri commented 1 year ago

There are multiple bugs in the unification algorithm if there are lists in a rule

mudbri commented 1 year ago

Fixed in commit: f27bc295cd8877d5a8fae23a2ae498b29e0e1ce4