Hacker News Reader

There's some research on inductive logic programming and, program induction, Bayesian programming, etc.

I guess it will take some time to become a bit more mature and get to the job market, maybe 5 years?

Some groups to look at (not exhaustive): Tenenbaum (MIT), De Raedt (KU Leuven), Muggleton (Imperial).

Rules-based/declarative seems to have ended up as “business rules/logic” in the commercial world (including RPA (feh)). Same uses but devoid of the magic AI glow.

Neurosymbolic AI is a research topic.