From 4e7d9f9010aa5b9443109b788dc6b0756a48f234 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Tue, 21 Jul 2026 23:51:19 -0700 Subject: [PATCH] update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 169eb505..538461e8 100644 --- a/README.md +++ b/README.md @@ -74,7 +74,7 @@ Extend Scryer Prolog to include the following, among other features: - [x] Greatly reducing the number of instructions used to compile disjunctives. - [x] Storing short atoms to heap cells without writing them to the atom table. - [ ] Configurable JIT/on-demand indexing over all arguments - (documented in "[Demand-Driven Indexing of Prolog Clauses](https://user.it.uu.se/~kostis/Papers/iclp07.pdf)." (_in progress_) + (documented in "[Demand-Driven Indexing of Prolog Clauses](https://user.it.uu.se/~kostis/Papers/iclp07.pdf)"). (_in progress_) - [ ] 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_)