Scryer master, Rust. All, current items.

11: * WAM code generation

#761

10: * Unicode syntax issues

#1515, #1591, #1726, #1749

8: * clpz error

Jan12 53056:05

exit:user:t3nr2^0^(9440/4)^uxtestsample((A/B#\=C,A#<==>D),c:5).
   ER = (_A/_C#\=_D,_A#<==>_B)-(c:5), freeze:freeze(_A,(user:(_A==0)->true;user:(_A==1))), freeze:freeze(_B,(user:(_B==0)->true;user:(_B==1)))
;  ... .

?- gs_boolgoal(A,0,0), gs_boolgoal(D,0,0), uxtestsample((A/B#\=C,A#<==>D),R).
call:user:5^findall(v(A,B,C,D),(qs3([B,C]),(A/B#\=C,A#<==>D),labeling([],[B,C]),member(v(A,B,C,D),[v(0,-2,-2,0),v(0,-2,-1,0),v(0,-2,1,0),v(0,-2,2,0),v(0,-1,-2,0),v(0,-1,-1,0),v(0,-1,1,0),v(0,-1,2,0),v(0,1,-2,0),v(0,1,-1,0),v(0,1,1,0),v(0,1,2,0),v(0,2,-2,0),v(0,2,-1,0),v(0,2,1,0),v(0,2,2,0),v(1,-1,-2,1),v(1,-1,0,1),v(1,-1,1,1),v(1,-1,2,1),v(1,1,-2,1),v(1,1,-1,1),v(1,1,0,1),v(1,1,2,1)])),E).
thread 'main' panicked at 'index out of bounds: the len is 918315 but the index is 918563', src/machine/machine_state_impl.rs:70:17
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

7: * Currently, interrupts manifest with a goal throw(error('$interrupt_thrown',repl/0)). So this looks like a regular `error/2`-term except that this term is specific and not relating to an error class. Maybe some other way to realize interrupts is preferable. Either by using a specific error class (although I am not sure that this fits here), or just a term that is not unifiable with `error/2`.

6: *

user:0^(256/3)^uxtestsample(A#>B-max(C,D)).

5: *

call:4^uxtestsample_to((A in{1}\/{3},B#>C mod (D mod (E mod F)))).

Price: 2317

git pull && cargo run1
ulrich@p0:/opt/gupu$ git clone https://github.com/mthom/rusty-wam --recursive
Cloning into 'rusty-wam'...
...
ulrich@p0:/opt/gupu$ cd rusty-wam/
ulrich@p0:/opt/gupu/rusty-wam$ sudo apt-get install cargo
ulrich@p0:/opt/gupu/rusty-wam$ cargo build
ulrich@p0:/opt/gupu/rusty-wam$ target/debug/rusty-wam
git pull --recurse-submodules

git clone https://github.com/mthom/rusty-wam --recursive

	Name	Last modified	Size	Description
	Parent Directory		-
	SCRYER-HEADER.html	2025-05-27 16:23	6.3K
	fastunification.pl	2021-02-03 11:54	231
	fastunification2.pl	2022-04-03 13:45	314
	issue2356.pl	2024-03-12 11:02	99
	lengelize.pl	2020-02-23 19:41	367
	matrix.pl	2022-01-11 21:02	7.8K
	n_tosx.pl	2022-01-15 19:55	69
	nth0.pl	2022-07-15 08:30	238
	p1.pl	2023-03-08 14:55	47
	p2.pl	2023-03-08 14:59	31
	path.pl	2022-01-08 19:48	138
	polynomial.pl	2022-01-10 17:55	5.0K
	scryer_cf.pl	2019-04-20 18:47	32
	scryerclpb.pl	2020-08-13 09:42	7.0K
	scryerfd-1.pl	2020-08-06 13:57	2.0K
	scryerfd.pl	2020-08-06 14:25	2.1K
	scryerfdj.pl	2020-08-11 16:02	8.3K
	scryerfdj2.pl	2020-08-16 16:52	8.2K
	status_quo.html	2020-03-20 19:26	8.7K
	transscript.txt	2022-01-20 21:06	2.0K
	transscript2.txt	2022-01-20 21:24	1.3K
	transscript3.txt	2022-01-20 21:34	1.3K
	transscript4.txt	2022-01-20 21:39	939
	transscript5.txt	2022-01-20 21:42	487
	transscript6.txt	2022-01-20 21:45	381
	transscript7.txt	2022-01-20 21:46	350
	transscript8.txt	2022-01-20 21:48	223
	transscript9.txt	2022-01-20 21:54	221