What we do

InterProlog Consulting develops and maintains software applications and developer tools for a number of platforms, encompassing logic programming, web application development, knowledge and data backends. Decades of experience in Prolog, SQL, Java, Javascript and other languages.

We also provide application modernisation, legacy system integration, data migration and normalisation, and other challenging elements for government and industrial organisations.

XSB, Inc.
Setauket, NY, USA
Prolog, JavaScript and Java development, for SWISS and other projects.

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

Coherent Knowledge Systems, LLC
Seattle, WA, USA
Prolog and Java development

Logical Contracts
With Imperial Innovations, London, UK
Ethereum blockchain API, explainable logic engine, web environment

KnowMatters, Inc.
Pittsburgh, PA, USA
Java development

São Paulo, Brazil
Python, Javascript development

InterProlog Consulting staff and open source software migrated from Declarativa