enumerate applications, add AD4M by @coasys

diff --git a/README.md b/README.md
index 0e8438d4185988ef9392ccb0dc1ffd89db5f37af..d72abb30fe027befa9d97f624f209b90d7e659d8 100644 (file)
--- 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