mention the DEDUCTION Programme

diff --git a/README.md b/README.md
index 19a2700a74dc38398834a2ebef77840e81ab5cd6..8ca42fd87b292e896445858d2c1ab2b593fde3a3 100644 (file)
--- a/README.md
+++ b/README.md
@@ -875,6 +875,7 @@ Successful existing applications of Scryer Prolog include:
   safety-critical and highly regulated domain of oncology
   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)
 - semantic reasoning and queries in [AD4M](https://github.com/coasys/ad4m),
   an agent-centric distributed application meta-ontology.