Probably the best example of a programming language for society would be psychohistory from the Asimov novels, but its spec is vague at best and I know of no working implementations.

I've heard New-speak might also be a good alternative, but it hasn't been updated since 39 years ago.