It’s a actually quite easy to write a prolog interpreter, so you could probably just emed the code in Python so that you have a better integration with the rest of your codebase. You can probably just look for some logic programming libraries in Python.