This is basically logic programming. If you really want to do something like this, you are far better off just using a logic language like prolog and saving you

This is basically logic programming. If you really want to do something like this, you are far better off just using a logic language like prolog and saving yourself the trouble.