From 7f159a7ed227713937e096956452ff9d13e6ce7b Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Mon, 3 Jul 2023 22:04:26 +0200 Subject: [PATCH] advertise newly achieved strong syntactic conformance: all current tests pass This addresses an important aspect of #1777. --- README.md | 2 ++ 1 file changed, 2 insertions(+) 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) -- 2.54.0