rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #3026 from triska/DEDUCTION

Browse Source 
mention the DEDUCTION Programme
This commit is contained in:
Mark Thom
2025-08-08 21:11:46 -07:00
committed by GitHub
parent 948cbd8f40 badd6304c7
commit 61f8bc008c
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
README.md
View File

@@ -877,6 +877,7 @@ Successful existing applications of Scryer Prolog include:
safety-critical and highly regulated domain of oncology safety-critical and highly regulated domain of oncology
trial design, described in [*An Executable Specification of trial design, described in [*An Executable Specification of
Oncology Dose-Escalation Protocols with Prolog*](https://arxiv.org/abs/2402.08334) 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), - semantic reasoning and queries in [AD4M](https://github.com/coasys/ad4m),
an agent-centric distributed application meta-ontology. an agent-centric distributed application meta-ontology.