[bitwize]

Laws are less like program code than they are like declarative constraints. And society has to solve for how to operate within those constraints. That's what makes making good law so difficult; it's like prompt-engineering a model and only getting results back, for good or ill, years or decades later. And when you do make a mistake (which is often) it can take that long to fix it!

[Zambyte]

Program code can be declarative constraints. As said elsewhere in this thread, Prolog is an example of such a system.