Issue with homomorphism version of Unification
mudbri opened this issue · comments
The homomorphism version of unification (i.e. getEquivalentSubstitutionsDB) fails on unit test 4 and 8 in unit_tests_enhanced.py . The problem is most probably in checking the head atom properly. However, the brute force version is still working and is faster. This issue can be ignored for now.