Your rules, in plain English, checked against your own system
Every insurer, bank or public administration office runs on rules: who is covered, who is entitled to a benefit, how much tax, which payment may go through… Those rules sit in many different systems, from Oracle Intelligent Advisor and Drools to spreadsheets that nobody has read in years. Only specialists can read each system, so changing the rules, or leaving a system, is slow and risky.
We rewrite those rules in Logical English: sentences in English that a lawyer, an underwriter or a caseworker can read, and that a computer runs, explaining every answer. The rewritten program is called a twin. Your own system’s tests become the twin’s scenarios, sets of facts with the answers your system gives, so the twin can prove that it behaves as your system does.
What you get
- The same rules, readable. Each rule in plain English, citing the passage of the regulation, policy or contract it comes from, where your source names one.
- Proof, not a promise. Your system’s own tests, rerun against the twin. The Migration Gallery shows the results so far: for example, 475 of 476 test outcomes over five public Oracle Intelligent Advisor projects, and 98.9% of over 100,000 fields of the derivatives industry’s regulatory reports.
- A ledger of what was translated. A table with one row for each part of your source, saying whether it was translated, approximated (with a note on how its meaning changed), or left for a person to translate. Nothing is dropped silently.
- An answer with its reasons. Each answer comes with the rules and facts that led to it, and a question that fails is explained too: which condition was not met, and why not.
- A way back, for nine of the seventeen systems. Changed rules can be written back into the original format and run on the original engine. When the original system cannot express a change, the export refuses and names the lines.
Three steps, each with a fixed price
| Step | What you receive |
|---|---|
| 1. A free twin | One program of yours, translated, with its ledger and a link that runs it in the browser, within five working days. Free |
| 2. A Migration Assessment | Your rule estate inventoried, a sample translated, a ledger of what will translate and what will need a person, and a sized plan. A fixed price, credited in full against a Migration Sprint ordered within 90 days |
| 3. A Migration Sprint | Up to ten programs as twins, your tests as scenarios, the ledgers, and a handover session. Every twin passes your system’s own tests. A fixed price |
We can sign a non-disclosure agreement beforehand.
After the migration: keeping your twins up to date
The three steps above end with twins that agree with your system on the day they are delivered. Rules may not stay still: your source system gets new releases, your own rules change, and Logical English is updated too. An optional assurance retainer keeps the twins and the system they mirror in step, for a fixed monthly fee:
- each month, every twin’s scenarios are run again against the current release of your source system and of Logical English;
- any answer that changed is examined by a person, who finds out why: a change in your rules, a change in the source system, or a change in Logical English;
- where Logical English caused the difference, we correct it, at no extra charge;
- you receive a short report: what was run, what changed, and why.
The retainer covers the twins of one Migration Sprint, up to ten programs; a larger work load is priced on quote. A change you make to your own rules is new work, quoted separately. The retainer can be ended with one month’s notice.
All prices are on the pricing page.
Where AI helps, and where it does not
Our translators follow fixed rules, with no language model involved: the same file always gives the same twin, and the twin answers without any model. Software agents do much of the routine work around the translation, which is why the steps above have fixed prices rather than day rates. What we sell is the result: a twin that agrees with your own system’s engine, and the ledger that shows it.
Your twin is a deterministic Logical English program, running on a deterministic open source engine, providing deterministic explanations; it uses no LLMs.
And the other way round: an AI assistant or agent of yours can ask your (twin) rules before it acts, through the Model Context Protocol (a standard way for AI models to use tools), and get back an answer with its reasons. Rules that explain themselves are a guardrail for AI.
Who it is for
- Owners of Oracle Intelligent Advisor rulebases on their own servers. Oracle’s Premier Support for the on-premises edition ended in September 2025. A twin gives you rules you can read, test and run elsewhere: see Leaving Oracle Intelligent Advisor on premises.
- Owners of rule-heavy spreadsheets: rating sheets, benefit calculators, capital and liquidity templates. Each formula becomes a rule a person can read, and the workbook’s own values become its tests.
- Public administrations writing rules as code. Logical English runs in English, Portuguese, Spanish, French and Italian, and each rule can cite its legal source.
- Teams on Drools, Socotra, OIPA, Catala, OpenFisca, Rune, Solidity, Daml and the other systems of the Gallery.
Where it runs
Logical English and Logic Production Systems, its sister system for contracts and processes that act over time, are open source under the Apache 2.0 licence: no lock-in. The translators are licensed and run on our hosted editors. For an organisation, we run a private instance in your region; running it on your own infrastructure is possible, on quote.
For consultancies and systems integrators
If your clients have rules to migrate, you can refer them to us for a commission of the first year’s fees, or resell the Assessment and the Sprint. Please introduce yourself to licensing@logicalcontracts.com.
Who we are
Logical Contracts is a division of Renting Point - Serviços de Informática, Lda, a Portuguese company at Madan Parque de Ciência, Caparica, founded by Miguel Calejo. Logical English and Logic Production Systems were designed at Imperial College London, following four decades of work on logic programming and legal reasoning; Logical English 2 and Logic Production Systems 2 are built by Logical Contracts.