From badd6304c7e0a4b340cb50f5cd523ff4b6019a11 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sun, 3 Aug 2025 14:23:28 +0200 Subject: [PATCH] mention the DEDUCTION Programme --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 19a2700a..8ca42fd8 100644 --- 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. -- 2.54.0