I’ve just been so obsessed with gradient descent, never gave much thought to background knowledge. Inductive logic programming, you say?