From a02bd46094d4e7db48878664923d44a3f69242d8 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Tue, 14 Nov 2023 04:06:33 +0100 Subject: [PATCH] mention more passing tests --- README.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 634f4a09..ce8f16bb 100644 --- a/README.md +++ b/README.md @@ -6,7 +6,10 @@ 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)**. +**Scryer Prolog passes all tests** of +[syntactic conformity](https://www.complang.tuwien.ac.at/ulrich/iso-prolog/conformity_testing), +[`variable_names/1`](https://www.complang.tuwien.ac.at/ulrich/iso-prolog/variable_names) and +[`dif/2`](https://www.complang.tuwien.ac.at/ulrich/iso-prolog/dif). The homepage of the project is: [**https://www.scryer.pl**](https://www.scryer.pl) -- 2.54.0