[alephaleph]

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

[cha42]

Yes, the cool thing here is just to use higher order to provides the user non-determinism seaminglessly within Python while in prolog this is a built in feature.