What are semantic standardized higher level languages then?

Read this:
https://arxiv.org/abs/1909.06353
Agreed with it, but retrospected.
Is any language actually congruent across systems?

>>5,6
Nope, friend linked me the article, read it, and also agree Prolog doesn't fit the bill. >>3 obviously doesn't fit either.
Still thinking. Edited on 17/09/2019 10:46.

>>5,6
Nope, friend linke me the article, read it, and also agree Prolog doesn't fit the bill. >>3 obviously doesn't fit either.
Nope, friend linked me the article, read it, and also agree Prolog doesn't fit the bill. >>3 obviously doesn't fit either.
Still thinking.