Markus Triska

Thank you a lot, this is starting to look very good! To make the changes easier to track, could you please, in a final step, reduce the changes to their...

This now looks **excellent**, thank you so much! For convenience, I post here the differences between the master copy of `library(reif)` and the version that is being proposed here. It...

I have filed #2502 for semantic problems with goals such as `clpz:!`. **This may be a good chance to rethink how goal expansion works!** We may be able to find...

Excellent catch! I have reduced this to the following test case: :- use_module(library(debug)). p([X], Y) :- $Y is X. Yielding: ?- p("e", R). call:(A is e). exception:error(type_error(evaluable,e),(is)/2):(A is e). error(type_error(evaluable,e),(is)/2),...

It looks suspiciously like yet another issue due to the currently only partially finished partial string representation (#24).

The problem got worse with `rebis-dev`: ?- _ is e. error(type_error(evaluable,e),(is)/2), unexpected. true. % expected; works in master **Update**: `e` is in fact not a standard arithmetic function, so this...

I found a workaround so that you can at least continue for the time being if you want to use it: ?- X is 0 + e. X = 2.718281828459045.

With the latest `rebis-dev`, we get: ?- [X,Y] = [e,f], Z is X. X = e, Y = f, Z = 2.718281828459045, unexpected. error(type_error(evaluable,e/0),(is)/2). % expected So, we no longer...

Conceptually very interesting! This is an aspect that I think would also generally benefit from more thought during development: Which parts of the system must be provided as foundation, and...

One question that may be worth taking into account: What makes most programs wrong? I think the type tests `integer/1`, `atom/1` are candidates for this: Their use makes many programs...