diff --git a/README.md b/README.md index 92fbae24..8d2fb4b6 100644 --- a/README.md +++ b/README.md @@ -880,6 +880,7 @@ Successful existing applications of Scryer Prolog include: trial design, described in [*An Executable Specification of Oncology Dose-Escalation Protocols with Prolog*](https://arxiv.org/abs/2402.08334) and culminating in [**DEDUCTION**](https://codeberg.org/dcnorris/DEDUCTION) +- the core product of the Belgian company [VATmiraal](https://vatmiraal.be) - semantic reasoning and queries in [AD4M](https://github.com/coasys/ad4m), an agent-centric distributed application meta-ontology.