[alasdair_]

“ Build the MVP prototype of commercially usable, no-compromise, pure A.I. engine that learns to solve any formally defined task”

So, PROLOG from 30 years ago then.

[grandrew]

Yes, PROLOG with modern Python syntax and mostly imperative flow, commercial database experience instead of "build everything yourself", and ML-based heuristics that are learned on the fly instead of whatever hardcoded logic the particular interpreter had.

This is sometimes referred to as "Automated planning and scheduling" or simply "AI Planning" in academia.