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

add link to VATmiraal, https://vatmiraal.be

Browse Source
This commit is contained in:
Markus Triska
2026-05-03 09:51:42 +02:00
parent 8dffd72db5
commit afe744aa57
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

@@ -880,6 +880,7 @@ 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)
- semantic reasoning and queries in [AD4M](https://github.com/coasys/ad4m),
an agent-centric distributed application meta-ontology.