Removed CLP(Z) from library(json), achieving a 100x speedup in JSON parsing.

2021-04-20 16:58:33 -07:00
parent 5b1b12ec9e
commit c87e3eac08
4 changed files with 54 additions and 17 deletions
--- a/src/tests/json/README.md
+++ b/src/tests/json/README.md
@@ -0,0 +1,13 @@
+## Benchmarks
+
+### With CLP(Z):
+```
+?- test_json_read.
+   % CPU time: 41.522 seconds
+```
+
+### After removing CLP(Z):
+```
+?- test_json_read.
+   % CPU time: 0.444 seconds
+```