Markus Triska

I think this can be implemented in Prolog, if we are given **`abolish/2`** (#1476).

This may mean that we need, in addition to the current section on "Libraries", a section for **standard predicates**. A good overview of all ISO standard predicates is available from...

I find two related open issues in the `ring` crate with discussions and instructions that may help to make this work: - https://github.com/briansmith/ring/issues/1374 - https://github.com/briansmith/ring/issues/1171 Note that **no dedicated hardware**...

`is` is also a standard operator, so let's write the predicate indicator also as a valid Prolog term, as **`(is)/2`**.

Another thing I noticed: Github seems to cause issues with `\`, affected are `(\==)/2` and `(=\=)/2`.

On OSX, with the `~/.scryerrc` you posted, I get: $ scryer-prolog error(permission_error(modify,static_procedure,(;)/2),load/1). Note that an error occurs when loading the file. Maybe this error message is not correctly shown on...

`.scryerrc` is loaded by `toplevel.pl`, please see this section of the code: https://github.com/mthom/scryer-prolog/blob/0bfb08e464a16407ac899935961d84a9f3c925e2/src/toplevel.pl#L18 I hope you can use this as a starting point for finding out more information about this...

Please try to track down the problem systematically: As a starting point, you can copy the definition of `load_scryerrc/0` and put it in your own Prolog file, where you can also...

`load_scryerrc/0` is local to the module `$toplevel`, you can invoke it as: ?- '$toplevel':load_scryerrc. For easier debugging and testing, you can also simply copy its definition to your own program.

The usefulness of the initialization file is currently also limited by #1775. If you want, you can as a workaround invoke Scryer Prolog with the `-g` switch to load any...