From bf581879e61904861d9a54f39a239bd02b5e7e04 Mon Sep 17 00:00:00 2001 From: Mark Date: Sat, 24 Jun 2023 09:11:30 -0600 Subject: [PATCH] update README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 93d7a43c..caff6a91 100644 --- a/README.md +++ b/README.md @@ -67,7 +67,7 @@ Extend Scryer Prolog to include the following, among other features: - [ ] Replacing choice points pivoting on inlined semi-deterministic predicates (`atom`, `var`, etc) with if/else ladders. (_in progress_) - [ ] Inlining all built-ins and system call instructions. - - [ ] Greatly reducing the number of instructions used to compile disjunctives. + - [x] Greatly reducing the number of instructions used to compile disjunctives. - [ ] Storing short atoms to heap cells without writing them to the atom table. - [ ] A compacting garbage collector satisfying the five properties of "[Precise Garbage Collection in Prolog](https://www.complang.tuwien.ac.at/ulrich/papers/PDF/2008-ciclops.pdf)." (_in progress_) -- 2.54.0