Logical Types, LLC uses the Mercury programming language to develop and deliver rule-based system to clients. Mercury combines (predicate) logic programming and one of the more rigorous type systems to give a programming language that is declarative, efficient and consistent.