rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

correct grammar

Browse Source
This commit is contained in:
Markus Triska
2025-04-30 19:53:33 +02:00
parent eb96a0c957
commit ec28872a9a
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@@ -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 subterm. For efficiency, the *occurs check* is omitted by default
in Scryer Prolog and many other Prolog systems. 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 *occurs check* is omitted yield *cyclic terms*, also called
*rational trees*. For example: *rational trees*. For example: