Markus Triska

Thank you, on OSX it works now. But the issue on iOS persists: I only get "Loading...", also after many seconds, certainly enough to download 1 MB (over LTE).

Thank you for these changes. On iOS, I tried it with Firefox 37 (this is from last year) and Safari using (still) iOS 14.4.1, and I only get "Loading..." on...

An ideal Prolog toplevel follows a simple basic principle: 1. you put a Prolog term in 2. in response, you get a Prolog term out that is **declaratively equivalent** to...

Regarding layout: `;` should never be placed at the end of a line, because it looks so similar to `,` (which usually occurs at the end of a line). Scryer...

We can also observe the syntax error with the following generalization of the query: ?- split_string(_, _, "\s\t\n", _). error(syntax_error(missing_quote),read_term/3:0). No further instantiation can remove this syntax error. To remove...

GNU Prolog uses a better description for the syntax error: | ?- T = "\s". uncaught exception: error(syntax_error('user_input:1 (char:7) unknown escape sequence'),read_term/3) I have filed #2400 for this.

@lucksus: This could be an interesting candidate for a generalization of the existing interface, and I would greatly appreciate if could take it into account! Thank you a lot!

$ scryer-prolog ?- use_module(library(lists)). true. ?- length(_, Pri), current_op(Pri, Fix, Op). error(domain_error(operator_priority,1201),op/3). So, no operator of any given priority exists? Note that it is not unexpected that a domain error...

This may be interesting: https://github.com/mthom/scryer-prolog/wiki/Flying-Roll-%231:-instructions.rs-and-the-Dispatch-Loop Here is a recent example of adding the single predicate `'$integer_in_radix'/3` that makes Rust functionality available: https://github.com/mthom/scryer-prolog/pull/2362/commits/8b9ab9c3ae4c48dfd155f480eaf106c1088262b5

Analogously for `(;)//2`, i.e., if I write for example: p --> g((a;[])).