While reading the documentation on dicts, I came across the “:=” operator (which is called “walrus” in Python) and couldn’t understand how it works. There’s no direct link there, and neither the internal search nor Google helped me find its definition.
More than this specific instance, may I suggest that the builtin operators documentation contain links to every operator’s documentation? It’s usually hard to find these docs from Google, so much that Clojure has even created a page to explain them all in one place.
All operators are created using op/3 (well, most built-in operators are created at initialization time from C before Prolog is started). Operators are no more than things that direct read/1 to properly parse terms holding them, so “1+2” is an alternative way to write “+(1,2)”, no more and no less. Operators are just syntactic constructs and carry no semantics.
Other code gives meaning to such terms, where a term may be given different meanings in different contexts. Some are implemented as predicates, e.g., >/2, others are functions for arithmetic evaluations (e.g., +/2) others guide the compiler (e.g., :- Directive), etc.
Linking the entries in the operator table to relevant documentation can indeed be useful (just needs work )
)