Dan Rose

Alright. This PR is done and ready to go. I didn't document the interaction with goal- and term-expansion since I don't understand them myself. @hurufu, I'm not sure how goal-...

@mthom, @triska Here's a good example of a PR which I divided into commits for ease of review. I intend for this to be squash-merged, but it's not necessary. Silly...

No, thank YOU! I'm incredibly lost in Prolog, and I don't even know how to ask the right questions. But at least errors provide some guidance when I'm doing something...

> There are actually a few builtins that are defined in Rust and not in Prolog without a `$` intermediary. They currently don't appear in the documentation which is unfortunate,...

> For user-defined procedures, the standard says: > > A user-defined procedure is a sequence of (zero or more) > clauses prepared for execution. Predicates defined in `builtins.pl` and `loader.pl`...

User defined procedures always belong to a module. Per 4.4.2 The module user: > A Prolog processor shall support a built-in module `user`. User-defined procedures not defined in any particular...

> User defined procedures always belong to a module. Per 4.4.2 The module user: > > > A Prolog processor shall support a built-in module `user`. User-defined procedures not defined...

I tried to understand your attempted fix in #2902, but I got stuck on `strip_module/3`, which is where I think the bug originates. Its behavior differs between scryer and swipl...

red CI for unrelated reasons, fixed in #3065

This is a very subtle part of the language and was omitted from #2030 (native builtins missing documentation). Heck, I'm not even sure whether it's correct to call it a...