From: Markus Triska Date: Sat, 12 Apr 2025 07:05:28 +0000 (+0200) Subject: enumerate applications, add AD4M by @coasys X-Git-Tag: v0.10.0~56^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b98076b39e0baaefe70ef3932c67ea831b1d6cfc;p=scryer-prolog.git enumerate applications, add AD4M by @coasys --- diff --git a/README.md b/README.md index 0e8438d4..d72abb30 100644 --- a/README.md +++ b/README.md @@ -830,16 +830,19 @@ ideally suited for use in corporations and government agencies that are subject to strict regulations pertaining to interoperability, standards compliance and warranty. -Successful existing applications of Scryer Prolog include the -[DocLog](https://github.com/aarroyoc/doclog) system which -generates Scryer's own documentation and homepage, [reasoning -about business grants](https://arxiv.org/abs/2406.15293) -in the Austrian public administration, and parts of the -[precautionary](https://github.com/dcnorris/precautionary/tree/main/exec/prolog) -package for the analysis of dose-escalation trials in the -safety-critical and highly regulated domain of oncology -trial design, described in [*An Executable Specification of -Oncology Dose-Escalation Protocols with Prolog*](https://arxiv.org/abs/2402.08334). +Successful existing applications of Scryer Prolog include: + +- [DocLog](https://github.com/aarroyoc/doclog) which generates + Scryer's own documentation and homepage +- [Grants4Companies](https://arxiv.org/abs/2406.15293): reasoning + about business grants in the Austrian public administration +- parts of the [precautionary](https://github.com/dcnorris/precautionary/tree/main/exec/prolog) + package for the analysis of dose-escalation trials in the + safety-critical and highly regulated domain of oncology + 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 Prolog, and for testing syntactic conformance and hence portability of