UWN

> Doesn't it conflict with ... similar to [#1586](https://github.com/mthom/scryer-prolog/issues/1586))? No. In #1586 all examples use functional notation for the directives.

> ` X = 2, expected.` Here, `expected` is not needed, because `X = 2.` just states this alone. Only `unexpected` is needed to document that that leaf answer is...

@bakaq, see the [Prolog prologue](https://www.complang.tuwien.ac.at/ulrich/iso-prolog/prologue#prologue) for more quads.

The [error cases](https://www.complang.tuwien.ac.at/ulrich/iso-prolog/variable_names#1) all work as expected.

Just an implementation remark. Ideally, the following could be done: If a WAM instruction just tries to write out `[A|Cs]` with `A` a character (in the determinate case), it checks...

> Thank you! It seems the flag can be implemented with comparatively little effort on top of what we have already now. True. And it only needs to be a...

Maybe the best would be instead of a flag a pointer to the zero of the last created partial string which has a variable in the next word on top...

> That being said, you can force the local branch to the latest head of rebis-dev with: > > $ git reset --hard origin/rebis-dev Not now: ``` 501 git pull...