From 4c14cbe39aff43841e1f99139bcd49cbde53cfaa Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sun, 3 May 2026 11:00:14 +0200 Subject: [PATCH] explanation of product See posting by @constraintAutomaton at: https://github.com/mthom/scryer-prolog/pull/3323#issuecomment-4365798844 Many thanks! --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 8d2fb4b6..c15398ff 100644 --- a/README.md +++ b/README.md @@ -880,7 +880,8 @@ 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) +- the core tax engine for VAT reasoning and compliance 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