Markus Triska

To clarify: I do *not* mean to change only the *projection* of residual goals, but that the **internal** storage of the constraint can be simplified to this. The projection should...

Very important finding, thank you a lot for posting this! I would greatly appreciate your help with trying to construct a smaller example that still exhibits the issue, so that...

We have the almost opposite proposal in #565 about the parser: For several reasons outlined in that issue, it would seem desirable to integrate more of the code into the...

Does this address the things I said about `library(crypto)`, `library(pio)` and others which need features in the core in addition to being written in Prolog?

One general note, after a brief look at this example: Some computations inherently take a lot of space, this does not necessarily mean that the memory growth is unbounded. In this...

Also, Scryer Prolog does not yet have a garbage collector and therefore currently reclaims memory **only on backtracking**. You can use this to reclaim unneeded memory, by wrapping a computation...

One additional point: The `rebis-dev` branch stores short atoms in a single WAM heap cell (64-bit) without affecting the atom table (and which therefore also yields efficient memory reclamation on backtracking!),...

With "type" `functor`, do you mean a **compound** term?

In the above example, `f/0` is user-defined in the terminology of the Prolog standard: 3.195 user-defined procedure: A procedure which is defined by a sequence of clauses where the head...

Other arithmetic operations are also affected by this issue. For instance: f :- false, _ > [_|_].