All those words and you forget to provide people the breadcrumbs to learn more for themselves.

The term of interest is "backpropagation".

Won’t another breadcrumb be Prolog and “declarative programming”[1].

Wasn’t Prolog invented to formalise these kinds of problems of making the inputs match what the desired output should be.

	▲	vandyswa 16 hours ago \| parent \| next [-]
		Yes, I'm glad to see a comment on Prolog. I think of it as _the_ foundational programming language for solving such problems. It isn't so much that it's a back propagation language; it's just that, based on which variables are bound at a given point, it will go forward deductively, or backwards inductively.
	▲	uoaei 15 hours ago \| parent \| prev [-]
		Prolog has basically nothing to do with calculus.