Kauê Hunnicutt Bazilli

This should definitely be more discoverable in some way. I think stuff like this usually goes into a man page, but we don't have that yet. I feel like it's...

I generally prefer man to info, but that's probably because I don't use Emacs, which seems to have really good support for navigating info docs from what I'm hearing. Both...

Oh, something that would be nice if we end up doing a "compile markdown to other formats" type of solution would be to also compile it for appearing in the...

There is already documentation about that if you press h in a query: ```prolog ?- (X = 1; X = 2). X = 1 SPACE, "n" or ";": next solution,...

Interesting. I thought it was weird that doing exactly 1000 priority worked, because that is the same priority as `(',')/2`. It also seems to be a problem in Trealla.

I don't think having `?-` as an infix operator by default is a good idea. One very good point of Scryer Prolog in my opinion is that is comes with...

`match/2` from my reified pattern matching library [Qupak](https://github.com/bakaq/qupak/) helps flatten this thing while remaining pure. It was primarily made to do patterns, but you can abuse guards to do [`cond`](https://clojuredocs.org/clojure.core/cond)...

Note that [the proposed syntax for this](https://www.complang.tuwien.ac.at/ulrich/iso-prolog/double_bar) is much more lax than this, and arbitrary layout chars (whitespace and comments) should be allowed before, between and after each of the...

I'm pretty sure that `[a,b,c]||S` still gets unexpectedly accepted like this, because the `[a,b,c]` is currently being parsed as a string.

Yep, it does accept it: ```prolog ?- A = [a,b,c]||X. A = [a,b,c|X]. ``` > So it's syntactically invalid even if it's semantically equivalent to a string? Yes, the double...