Advent of Logical English​​

The Advent of Logical English

Logical English provides a method for constructing logically valid statements in areas that are human language intensive like law and legislation.

Watch a demo here – More videos and instructions will be loaded in due course as we improve the application  

Codebase – 

Taxlog is a derivative implementation of Logical English specially prepared for the world’s legislators –
and Logical English implementation –

It is hosted in a Docker container in AWS London and AWS Sydney, on a little server hosting two other similar docker containers (LPS and another SWISH app). A closer instance to you could be deployed, cf. instructions at

Try here and here

Learn more about explainable Ai

Watch another video about Logical English by Bob Kowalski – 
Miguel Calejo

Miguel Calejo

Lead Engineer, Logic Validation Engine