Comment by 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.