Logical English is a Constrained Natural Language inspired in logic programming. More specifically, it can be seen as a syntactic sugar for PROLOG. It has been used in modelling diverse regulation texts, in finance, insurance and other domains.
Visit the open source project at https://github.com/LogicalContracts/LogicalEnglish, which includes links to a web demo and publications