Markus Triska comments

Results 705 comments of


                                            Markus Triska

Problems with 3-byte UTF-8 chars: error(syntax_error(missing_quote),read_term/3:...

@haijinSk: I think all these cases work correctly now, could you please try them again with the latest git version?

Problems with 3-byte UTF-8 chars: error(syntax_error(missing_quote),read_term/3:...

Perfect! As a fallback, the ZIP download calls itself "cargo:0.9.1", but it is indeed the latest version of Scryer.

between/3 leaking

I think the latest improvements to compilation successfully address this issue?

¤ cannot be used

This works perfectly now, thank you a lot! ?- X = ¤. X = ¤.

I am reopening this because I think it is expected (https://github.com/mthom/scryer-prolog/issues/1749#issuecomment-1484061231) that the symbol cannot be part of a letter token: ?- X = ¤a. X = ¤a, unexpected.

¤ cannot be used

Now it seems to work really perfectly, thank you a lot!

Argument indexing sometimes does not exclude clauses that cannot apply

Trealla Prolog now implements this lookahead via https://github.com/trealla-prolog/trealla/commit/c9d521631fe0ec44918232c191a58b1283b38561, maybe this can serve as inspiration?

Argument indexing sometimes does not exclude clauses that cannot apply

I now get: ?- p(0). true. Perfect! Thank you a lot!

Argument indexing sometimes does not exclude clauses that cannot apply

This new lookahead yields even more substantial improvements! For instance, the following query is now deterministic: ?- pairs_keys_values(Ps, Ks, "abc"). Ps = [_A-a,_B-b,_C-c], Ks = [_A,_B,_C]. Very nice!

clpz: somehow incorrect

The leftover choicepoint is due to #1502, this should ideally be addressed at the engine level for all such cases.