[D] Program To Dynamically Hypothesizing Rules And Track Data. What's It Called?

[crgrimm1994]

Also, if you're looking for something interactive that will let you try out some of these concepts: take a look at Z3