(1)            First, we need a domain-specific Legal Programming Language—which must support both imperative and logical programming.  The rules (laws or contracts or…

We take the complexity of the today’s law for granted.  But what if we look at the law as a technology.  Are…