Comment by 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.