Markus Triska

Thank you a lot for your kind words, and for your interest in this library! Could you please test the query with a version of SICStus Prolog (an evaluation version...

> Maybe it's time to think about "big repo" stuff like a CONTRIBUTING.md, [ARCHITECTURE.md](https://matklad.github.io/2021/02/06/ARCHITECTURE.md.html), code of conduct, some structure to issues and PRs (currently is very freeform), etc... Please do...

Use the standard predicate **`write_canonical/1`** to see what a term "actually" is: ?- write_canonical({null}). {}(null) true.

> both @ and {} need to be quoted to be used as atoms. Neither of these atoms need to be quoted: ?- member(X, [{},@]). X = {} ; X...

It seems `@` is defined as an *operator*. An operator cannot be a direct operand of another operator. For example, we *equally* have: ?- X = + . error(syntax_error(incomplete_reduction),read_term/3:1). Because...

> and can accidentally form a token together with = or .. All graphic chars can be concatenated to form a token. For example, here are a few tokens: ?-...

?- {}={}(). false. `{}()` is not valid Prolog syntax, a conforming system must reject it.

> But seriously, where can I learn syntax? To learn Prolog, please use a Prolog system that **conforms to the Prolog ISO standard**, such as SICStus, GNU, Scryer, Trealla etc....

> and that the canonical representations use `'.'` vs `','`: Please note that *you* entered the `,`: ?- write_canonical((1,2,3)). ','(1,','(2,3)) true.

> and I do deeply appreciate it. Thank you a lot for your kind words, and for your interest! Personally, I am extremely interested in the JS features and online...