From 918dfca409a0f66c61f3c2c03e2c7ac34d2990e1 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sun, 9 Jul 2023 14:24:21 +0200 Subject: [PATCH] DOC: new section on applications of Scryer Prolog This addresses an important aspect of #1777. --- README.md | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/README.md b/README.md index f5c08e89..0a78baa0 100644 --- a/README.md +++ b/README.md @@ -680,6 +680,26 @@ not need additional tools and formalisms for its application, and further, it encourages declarative reasoning that can in principle also be performed automatically. +## Applications + +Scryer Prolog's strong commitment to the Prolog ISO standard makes it +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, [Symbolic +Analysis of Grants](https://www.brz.gv.at/en/BRZ-Tech-Blog/Tech-Blog-7-Symbolic-Analysis-of-Grants.html) +by the Austrian Federal Computing Center, 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 clinical oncology. + +Scryer Prolog is also very well suited for teaching and learning +Prolog, and for testing syntactic conformance and hence portability of +existing Prolog programs. + ## Support and discussions If Scryer Prolog crashes or yields unexpected errors, consider filing -- 2.54.0