Markus Triska
Markus Triska
I second **`loader.pl`** as the relevant source! See especially [**`expand_goal/3`**](https://github.com/mthom/scryer-prolog/blob/d57f871a12d394521db848d2a8de88648d969f7d/src/loader.pl#L847), which is applied to *every goal being compiled* via `load_loop/2` → `compile_term/2` → `expand_terms_and_goals/2` → `expand_term_goals/2`. For example, with the above definition of...
Good news: 60695e8cf84be5a10cdec9f6c7333dc8aaadb0e6 is even **faster** than `master` for this benchmark: ?- length(Ls, 1_000_000), time(maplist(=(a), Ls)). % CPU time: 0.230s, 2_000_034 inferences Ls = "aaaaaaaaaaaaaaaaaaa ...". whereas with `master` from...
Awesome, thank you a lot!
Why "MUST" it be `0.10`? Can it be for example **0.95** ?
One additional point I will do after `rebis-dev` is merged: Provide the predicates from `library(error)` **without `Context` argument**, to encourage the use of newly available `call_with_error_context/2` which can be used instead...
Scryer is now in better shape than ever, with many previously long-standing issues resolved. Is there anything else that is within reach for the next release and should be added?...
It's tagged! Yippie, and thank you a lot!
Excellent catch! Also: ?- assertz('A'). error(type_error(callable,'A'),assertz/1), unexpected. true. % expected
Good news everyone: These cases work with the `rebis-dev` development branch!
@flexoron: Could you please try it with the current `master` branch? Thank you a lot!