From: Markus Triska Date: Sun, 3 May 2026 09:00:14 +0000 (+0200) Subject: explanation of product X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=4c14cbe39aff43841e1f99139bcd49cbde53cfaa;p=scryer-prolog.git 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 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.