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

Merge pull request #2879 from triska/ad4m

Browse Source 
enumerate applications, add AD4M by @coasys
This commit is contained in:
Mark Thom
2025-04-12 21:09:20 -07:00
committed by GitHub
parent 2c8041250d b98076b39e
commit 925921e9ab
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