A New Logic Programming Language
This topic awaits.
No-one has written it yet.
You are its poet.