Improve performance of unification process

potassco / clorm

🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner

https://clorm.readthedocs.io

MIT License

52 stars 5 forks source link

Closed florianfischer91 closed 2 years ago

florianfischer91 commented 2 years ago

This PR improves the performance of the unification process especially if not all Symbols (Facts, Predicates) should be unified

Don't call Symbol.arguments if Symbol.name is unknown (not in list of predicates)
Reuse Symbol.arguments and Symbol.name when calling Predicate._unify
Remove duplicate code in Unifier.unify, Unifier.unify_symbol and _unify