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

Merge pull request #3323 from triska/VATmiraal

Browse Source 
add link to VATmiraal, https://vatmiraal.be
This commit is contained in:
Mark Thom
2026-05-22 22:45:39 -06:00
committed by GitHub
parent 8dffd72db5 4c14cbe39a
commit 3faa838ee2
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@@ -880,6 +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 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.