Comment by loumf

SQL and Prolog were also cited, but yes, nothing very deep (which I think is fine for this talk)

I would love to see the programs that are generated from this philosophy.