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 caff6a91f73b74722fb7830a8da45ef847f3672e..f5c08e89583579c0b730f40a1367d9abf0f1193a 100644 (file)
--- 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)