Markus Triska

> EDIT: Actually, now that I thought about it, it wouldn't be as difficult as I imagined, because I suppose Scryer already has all the data structures and the machinery...

We can use `copy_term/3` from `library(iso_ext)` to obtain a list of constraints a variable is involved in. For instance: ?- X #> 3, copy_term(X, X, Gs). Gs = [clpz:(X in...

I think it's possible to add this, though could you please first expand on the intended use case? There may be a better solution for it that uses only existing...

As one way to implement this with the current facilities, you can collect all predicates into a list (for instance, with `findall/3`), and describe the list of characters corresponding to...

Thank you for your interest! We have: ?- atom(-#). true. ?- write_canonical(-#(X)). -#(_471) true. ?- write_canonical(- #(X)). -(#(_473)) true. And thus for example: ?- #(Y) #= 2, #(X) #= (...

Also common Emacs keybindings work well: `C-a` to go to the start of the line, `C-k` to remove the remainder of the line, `M-b` to go back a word, `M-f`...

@adri326: Awesome test case, thank you a lot! It is not yet minimal (i.e., shortest possible) though, since using the following version of `bug/1` in your code also triggers the...

Good news: With the latest `rebis-dev` version, I get: ?- bug(Y). Y = 1 ; Y = 1 ; Y = 1 ; Y = 1 ; false. Can anyone...

@haijinSk: Very valuable, thank you a lot! Could you please post this in a new issue so that we can discuss it separately, and so that it also remains open...

Excellent find! Cloning the branch directly does not work; to reproduce the issue, you can obtain `parsing.pl` with: $ wget https://raw.githubusercontent.com/stevemolloy/prolog_mps/rust_panic/parsing.pl