From: Markus Triska <triska@metalevel.at>
Date: Wed, 12 Jan 2022 20:58:23 +0000 (+0100)
Subject: deterministic --> semi-deterministic
X-Git-Tag: v0.9.0^2~73^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=cfbb05fb1b4259abc6d3a896f2fbdd9c0b801064;p=scryer-prolog.git

deterministic --> semi-deterministic
---

diff --git a/README.md b/README.md
index 53d3f24b..105069ac 100644
--- a/README.md
+++ b/README.md
@@ -20,7 +20,7 @@ for the introduction of a mark-compacting garbage collector.
 Several performance enhancing changes are due before rebis-dev will be
 considered ready for merging into master, among them:
 
-* Replacing choice points pivoting on inlined deterministic predicates
+* Replacing choice points pivoting on inlined semi-deterministic predicates
   (`atom`, `var`, etc) with if/else ladders
 * Inlining all built-ins and system call instructions
 * Greatly reducing the number of instructions used to compile disjunctives