Markus Triska
Markus Triska
The underlying reason for this could be #2408, an issue apparently related to `bb_put/2` which is also used by tabling: $ scryer-prolog -f ?- use_module(library(freeze)). true. ?- use_module(library(iso_ext)). true. ?-...
@stevemolloy: As a workaround until the underlying issue is addressed, you may be able to formulate your grammar so that it works without tabling, for instance by expressing `statement//1` instead...
I think this can be tracked down to the way `ws//0` is currently defined; in particular, we observe many (I think unintended) solutions in the following cases: ?- phrase((ws,ws)," ")....
Thank you a lot for working on this! I can contribute a few points regarding terminology: An **answer** is something we get in response to a query. In Scryer Prolog,...
Good news: This works in `rebis-dev`!
@bakaq: Does it work for you now?
> When is the tail 2 cells away from the start? I think I at least found this out: The tail is 2 cells away if the string ends exactly...
> except in one case where it has the form `pstr_loc`, and that specific case appears in connection with https://github.com/mthom/scryer-prolog/issues/2924. And that specific case was found in systematic tests by...
@hurufu: What you posted does not correspond to the example in the issue, please try it with: t :- p(_).
Still, it seems that the branches should/could have many more commits in common. Maybe this can be reflected somehow to make it clearer what the branches actually have in common....