[daviddaviddavid]

Regarding modern AI approaches not being great at what Prolog does, I'm curious if this will ever translate into an uptick in job postings for Prolog (or, at least, rule-based/declarative) jobs. One would expect hybrid systems in which the old school approach played some significant role, but I haven't noticed that happening in the market.

[nextos]

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).

[pinewurst]

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.

[dunefox]

Neurosymbolic AI is a research topic.