From ec28872a9a273e377d76857a8050fc60573110fa Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Wed, 30 Apr 2025 19:53:33 +0200 Subject: [PATCH] correct grammar --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index b10d58b9..456e66bf 100644 --- a/README.md +++ b/README.md @@ -529,7 +529,7 @@ is unified with a term that contains that variable as a proper subterm. For efficiency, the *occurs check* is omitted by default in Scryer Prolog and many other Prolog systems. -In Scryer Prolog, performing unifications which succeed only if the +In Scryer Prolog, unifications which succeed only if the *occurs check* is omitted yield *cyclic terms*, also called *rational trees*. For example: -- 2.54.0