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

enumerate applications, add AD4M by @coasys

Browse Source
This commit is contained in:
Markus Triska
2025-04-12 09:05:28 +02:00
parent 2c8041250d
commit b98076b39e
1 changed files with 13 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
README.md
View File

@@ -830,16 +830,19 @@ ideally suited for use in corporations and government agencies
that are subject to strict regulations pertaining to interoperability, that are subject to strict regulations pertaining to interoperability,
standards compliance and warranty. standards compliance and warranty.
Successful existing applications of Scryer Prolog include the Successful existing applications of Scryer Prolog include:
[DocLog](https://github.com/aarroyoc/doclog) system which
generates Scryer's own documentation and homepage, [reasoning - [DocLog](https://github.com/aarroyoc/doclog) which generates
about business grants](https://arxiv.org/abs/2406.15293) Scryer's own documentation and homepage
in the Austrian public administration, and parts of the - [Grants4Companies](https://arxiv.org/abs/2406.15293): reasoning
[precautionary](https://github.com/dcnorris/precautionary/tree/main/exec/prolog) about business grants in the Austrian public administration
package for the analysis of dose-escalation trials in the - parts of the [precautionary](https://github.com/dcnorris/precautionary/tree/main/exec/prolog)
safety-critical and highly regulated domain of oncology package for the analysis of dose-escalation trials in the
trial design, described in [*An Executable Specification of safety-critical and highly regulated domain of oncology
Oncology Dose-Escalation Protocols with Prolog*](https://arxiv.org/abs/2402.08334). trial design, described in [*An Executable Specification of
Oncology Dose-Escalation Protocols with Prolog*](https://arxiv.org/abs/2402.08334)
- semantic reasoning and queries in [AD4M](https://github.com/coasys/ad4m),
an agent-centric distributed application meta-ontology.
Scryer Prolog is also very well suited for teaching and learning Scryer Prolog is also very well suited for teaching and learning
Prolog, and for testing syntactic conformance and hence portability of Prolog, and for testing syntactic conformance and hence portability of