Perhaps what you’re thinking of is inductive logic programming, although I’m not...

tr352 on April 17, 2020 | parent | context | favorite | on: Ask HN: What's an unsolved problem in your field?

Perhaps what you’re thinking of is inductive logic programming, although I’m not sure that field has advanced to the point where your particular example can be solved.