From afe744aa57ee51ff7bdd134c6ba6e10c96f62a05 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sun, 3 May 2026 09:51:42 +0200 Subject: [PATCH] add link to VATmiraal, https://vatmiraal.be --- README.md | 1 + 1 file changed, 1 insertion(+) 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. -- 2.54.0