[Bjartr]

> Magical computer that guess for you some data of course doesn't exists.

Prolog does sunshine like this, no? You give it rules and then make a statement with a blank in it and it'll fill in the blank given the rules you've described.

[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.