Rusty Prolog

2019: Renamed to Scryer Prolog

2: * Non-conformity

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

---

#43, #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 "\\\([0-9]*\\\)\\\|  +>\\\)[\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 run
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