flexoron

``` Here: #offset_coords : bagof(X-Y,offset_coord(X-Y),Bag),Bag. Should be: %offset_coords :- bagof(X-Y,offset_coord(X-Y),Bag),Bag. ```

I can't reproduce it. On a modern Linux (6.6.9) and rustc,cargo 1.75.0 with renewed crates, scryer-prolog: v0.9.3-137-gccf581d8-modified ``` ?- http_open("https://www.example.com", S, []), get_n_chars(S, N, HTML). S = '$stream'(0x558a1535bee8), N =...

It seems that SWI and Trealla behave sorta similar, so I can't say without fail whether this output Z = x([X,x,[]|X]) is valid or not so valid. Question: Should this...

``` v0.9.3-116 (commit: 799035c), rustc 1.74.1 (a28077b28 2023-12-04) Nothing changed so far. $ scryer-prolog/target/release/scryer-prolog ?- Y = [x,[X|Y]], Z =.. Y. Y = [x,[X|Y]], Z = x([X,x,[]|X]). ?- Y =...

May I ask why you choose Rust? Comment compiling Scryer Prolog from source: In the past, here and there errors popped up concerning libraries(scryer pull in over 200, thats a...

@mthom Oases and Deserts - Comment removed because issue is 'slow numlist' which is not a Rust topic as such.

#999 still an issue? #998 popcount controversy; research participants :-) think it should be a domain error. Hint: In the Lisp spirit, the popcount of a negative integer is the...

I see your point. If hypothetically desirable then: ``` ?- X #= popcount(Y) , A #= X/Y. X in 0..sup, Y in 0..sup, A in diverr..0..supinf ? ```

``` x = 0/0. x * 0 = 0. x = (0..sup). Anyway. What I mean: Is X and Y (the result) available ?- X #= popcount(Y) , A #=...

v2.52.16 Intermediate variables and synonyms walked out.