Scryer master, Rust.

13: *

#185, #213, #259, #258,

12: * clpz

?-        A in 0..1, (A#<==>A)#/\A mod A#>A/ -1.
   false, unexpected.
?- A = 1, A in 0..1, (A#<==>A)#/\A mod A#>A/ -1.
   A = 1
;  false.

11: * WAM code generation

#761

10: * Unicode syntax issues

#1515, #1591, #1726, #1749

9: * Core syntax issues

#804, #1487, #1549, #1580,

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

4: * - 1

63,180,64, 111?

3: *

?- atom_chars(\\, Chars).

error: exception thrown: error(existence_error(procedure, atom_chars/2), atom_chars/2)

2: * Non-conformity

#18, #25, #222, #223, #27, #30, #34.

---

#45.

How I am doing conformity testing

• Download the page.
• Start Emacs with that page and with the following definition

  (defun rusty-copyline ()
    (interactive)
    (re-search-forward "<td\\\(><a name=[0-9]*>\\\([0-9]*\\\)</a><td>\\\|  +>\\\)[\t ]*\\\( /[*][*]/\\)?")
    (let
        ((nr (match-string 2))
         (b (buffer-substring (point) (line-end-position))))
      (setq b (replace-regexp-in-string "<br>" "\n" b))
      (setq b (replace-regexp-in-string "\&nbsp;" " " b))
      (setq b (replace-regexp-in-string "\&gt;" ">" b))
      (next-line)
      (other-window 1)
      ;; (kill-new b)))
      (insert "?- " (format "/*%d*/" (string-to-number nr)) " catch((read(Goal_0),Goal_0),error(Error,_),true).\n")
      (insert b)
      (comint-send-input)
      (other-window 1)
      (recenter-top-bottom 1)))
  (global-set-key [f12] 'rusty-copyline)
  

• M-x shell and start /opt/gupu/rusty-wam/target/debug/rusty-wam
• Have the screen split, so you see both simultaneously

1: * Existence error missing for inexistent predicates

#11

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