Fifth generation languages (5GL) are purely declarative: they express what needs to be done, the machine establishes how, and does it. To use them you must be clear about WHAT needs to be done, NOT HOW it should be done.
The problem is that with the Internet we have moved back to third generation langs, hence the importance of programmers again.
Smart contracts in the future should not need to be programmed, but ‘implemented’. That’s why there are startups that are building compilers that translate legal English into structures and application skeletons to build on.