Blawx

Interesting.

A kind of mashup of ScratchLanguage and a LogicProgramming / ExpertSystem type thing. For representing law.

https://github.com/Lexpedite/blawx

Compare :

• LinearLogicProgramming

See also :

• OnLaw