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

explanation of product

Browse Source 
See posting by @constraintAutomaton at:

    https://github.com/mthom/scryer-prolog/pull/3323#issuecomment-4365798844

Many thanks!
This commit is contained in:
Markus Triska
2026-05-03 11:00:14 +02:00
parent afe744aa57
commit 4c14cbe39a
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@@ -880,7 +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 product of the Belgian company [VATmiraal](https://vatmiraal.be)
- 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.