Comment by alephaleph

At a fundamental level Prolog works the same way that Python library works -- guessing and backtracking.