From: Markus Triska Date: Sun, 9 Jul 2023 12:24:21 +0000 (+0200) Subject: DOC: new section on applications of Scryer Prolog X-Git-Tag: v0.9.2~73 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=918dfca409a0f66c61f3c2c03e2c7ac34d2990e1;p=scryer-prolog.git DOC: new section on applications of Scryer Prolog This addresses an important aspect of #1777. --- 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