]> Repositorios git - scryer-prolog.git/commitdiff
deterministic --> semi-deterministic
authorMarkus Triska <[email protected]>
Wed, 12 Jan 2022 20:58:23 +0000 (21:58 +0100)
committerMarkus Triska <[email protected]>
Wed, 12 Jan 2022 20:58:23 +0000 (21:58 +0100)
README.md

index 53d3f24bbfe27a65dfd1a5f13c7d9606997c34b4..105069ac0086838ea6acd07fbdac051607ee308e 100644 (file)
--- 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