explanation of product

See posting by @constraintAutomaton at:

    https://github.com/mthom/scryer-prolog/pull/3323#issuecomment-4365798844

Many thanks!

diff --git a/README.md b/README.md
index 8d2fb4b65e7cfa4ec64a19c7caa7c5e8fcf3c859..c15398ffe984e4820b32d4550ba21bcb8ec29f0f 100644 (file)
--- 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.