Markus Triska

To be clear: I think it is great that **also dynamically asserted clauses are compiled to WAM code**! It may cost a bit of compilation time, but on the plus side,...

Could you please try to find out which most recent commit introduced this issue? On OSX, I cannot reproduce the problem with v0.9.3-122-g75302ab7 from a few days ago: ?- http_open("https://www.example.com",...

Thank you all for looking into it! It may even be due to different `rustc` versions; I have: $ rustc --version rustc 1.72.0 (5680fa18f 2023-08-23)

Ah yes, thank you a lot!

I now get: $ scryer-prolog -f diadem.pl ?- "caenum" = "caelum".?X. thread 'main' panicked at 'Out of bounds access', src/machine/compile.rs:1666:41 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace...

Thank you, I have updated the initial description with the current state of the issue: ?- "caenum" = "caelum".?X. error(existence_error(procedure,'$free_variable_set'/3),'$free_variable_set'/3).

Please consider compiling Scryer Prolog from source, using `cargo build --release`. Here are timings I get with the latest git version: ?- time(numlist(1, 10_000, L)). %@ % CPU time: 0.065...

You can install the latest version of cargo via https://rustup.rs/ . Yes, an at least 100-fold slowdown when using Scryer Prolog is currently to be expected. That is perfectly OK...

With the `rebis-dev` development branch, I get with Scryer Prolog: $ ./scryer-prolog ?- use_module(library(time)). true. ?- use_module(library(between)). true. ?- time(numlist(1, 1000000, L)). % CPU time: 0.650s L = [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,...]. With...

@JanWielemaker: Could you please try the example with the newly available version **0.9.3** of Scryer Prolog, and also use that most recent versions to update the [benchmarks](https://swi-prolog.discourse.group/t/porting-the-swi-prolog-benchmark-suite-comparing-8-prolog-systems/6997) you recently published? If...