Who we serve

Logical Contracts and its associate division InterProlog Consulting have built rule-based software, in Prolog and in Logical English, for companies, international organisations and universities. Some of them:

Auditchain
Zug, Switzerland
Development of Pacioli XBRL/SBRM validator engine

Axiome Partners
London, UK
Logical English development

LodgeIT
Perth, Australia
Prolog and Logical English development

D2 Legal Technology
London, UK
Modelling of ISDA contracts

World Health Organization / UNICEF
Geneva, Switzerland
Prolog development

Imperial College
London, UK
Prolog, Javascript development, for Logic Production Systems

European University Institute
Firenze, Italy
Prolog, Logical English development