From: Markus Triska Date: Mon, 3 Jul 2023 20:04:26 +0000 (+0200) Subject: advertise newly achieved strong syntactic conformance: all current tests pass X-Git-Tag: v0.9.2~94^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7f159a7ed227713937e096956452ff9d13e6ce7b;p=scryer-prolog.git advertise newly achieved strong syntactic conformance: all current tests pass This addresses an important aspect of #1777. --- diff --git a/README.md b/README.md index caff6a91..f5c08e89 100644 --- a/README.md +++ b/README.md @@ -6,6 +6,8 @@ source industrial strength production environment that is also a testbed for bleeding edge research in logic and constraint programming, which is itself written in a high-level language. +As of July 2023, **Scryer Prolog passes all [syntactic conformity tests](https://www.complang.tuwien.ac.at/ulrich/iso-prolog/conformity_testing)**. + The homepage of the project is: [**https://www.scryer.pl**](https://www.scryer.pl) ![Scryer Logo: Cryer](logo/scryer.png)