Neota Logic

Neota Logic is a tool for encoding rules and generating web interviews and document automation solutions. It features a graphical interface for describing rules and data structures, and automatically generates prototype web interviews that can then be customized by the designer.

It is commercial software, and focused on legal and insurance applications. Several North American law schools offer courses on the use of Neota Logic to build legal expert systems.