From: Markus Triska <triska@metalevel.at>
Date: Sun, 3 May 2026 07:51:42 +0000 (+0200)
Subject: add link to VATmiraal, https://vatmiraal.be
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=afe744aa57ee51ff7bdd134c6ba6e10c96f62a05;p=scryer-prolog.git

add link to VATmiraal, https://vatmiraal.be
---

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&nbsp;design, described in [*An Executable Specification of
   Oncology Dose-Escalation Protocols with&nbsp;Prolog*](https://arxiv.org/abs/2402.08334)
   and culminating in&nbsp;[**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.