From d3edffb7fc89f242583418d2d8da6397a86d42e9 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Tue, 21 Jul 2026 23:48:56 -0700 Subject: [PATCH] update README.md --- README.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 618a3555..169eb505 100644 --- a/README.md +++ b/README.md @@ -73,9 +73,10 @@ Extend Scryer Prolog to include the following, among other features: - [ ] Inlining all built-ins and system call instructions. - [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_) - [ ] 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_) -- [ ] Mode declarations. ## Phase 3 @@ -103,8 +104,6 @@ Gustafson's book "[The End of Error](http://www.johngustafson.net/unums.html)." 3. Add concurrent tables to manage shared references to atoms and strings. -4. Add some form of JIT predicate indexing. - ## Installing Scryer Prolog ### Binaries