Markus Triska

read_pending_[codes|chars]/3 --> get_pending_[codes|chars]/3

1

Rational: "read" is used for complete Prolog terms.

Suggestion: Make use_module(library(...)) point to the library documentation

3

For example, when using: ``` :- use_module(library(assoc)). ``` Then `library(assoc)` would ideally be a hyperlink to the documentation of [library(assoc)](http://eu.swi-prolog.org/pldoc/man?section=assoc), i.e., should be rendered as: :- use_module(library(assoc)).

With the latest git version of SWI, I get the following residual goal on the normal toplevel, with `library(clpb)` loaded: ?- sat(X+Y). sat(X=\=X*Y#Y). In contrast, when I run the same...

set_prolog_flag sometimes has no effect

6

When I create an empty SWISH program and insert: ``` :- use_module(library(clpb)). :- set_prolog_flag(clpb_residuals, bdd). ``` then everything works exactly as expected: Posting a query like `?- sat(X+Y).` emits a...

?- expand_term(a-->b, T). yields: No permission to call sandboxed `source_location(_G378,_G379)' Reachable from: '$expand':cond_compilation(A,B) '$expand':expand_term(A,B,C,D) expand_term(A,B) It would be great if expand_term/2 works when it is safe.

error_running_doclog.

5

I followed the steps in the documentation, and also adjusted the configuration file, and now I get: $ bash doclog.sh scryer.config.pl doclog(1,1,0). error_running_doclog.

Sandbox does not work on mobile phone

21

When I use Safari on iPhone to visit the link shown in https://github.com/guregu/trealla-js/issues/4#issuecomment-1263938831, I see (as expected) the intended query. However, when I post the query, the browser is unexpectedly...

Syntax error description can be improved

1

Example: ?- T = "\y". error(syntax_error(missing_quote),read_term/3:0). For comparison, with GNU Prolog: | ?- T = "\s". uncaught exception: error(syntax_error('user_input:1 (char:7) unknown escape sequence'),read_term/3)

Goal expansion for arguments of (',')//2

7

In my application, I define a goal expansion to replace every invocation of `a//0` by that of `b//0`. For instance, consider the following definitions: :- use_module(library(dcgs)). user:goal_expansion(a(Cs0,Cs), b(Cs0,Cs)). :- dynamic(p/2)....

This could be one step to improve #2360. There may be more generally useful improvements that should be done instead.