José Antonio Riaza Valverde

The unfolding transformation implemented is sound for pure Prolog clauses. I'll try to update it to full Prolog if I find the full text of the following paper: https://link.springer.com/chapter/10.1007%2F978-1-4471-3560-9_14

Added in v0.2.85 (f96c341). 

> Looks like an error to me. `:- dynamic(foo/2, bar/3)` should be parse as a compound, and then be an unknown directive of arity 2. @jburse It is parsed as...

I did some refactoring on the unification mechanism. It is now possible to extend unification in that way without modifying the core. I just added the extension you propose as...

Yes, currently the tokens store that information. What is the convention for this property? For the same stream, SWI-Prolog gives me `'$stream_position'(57,1,57,57)` and GNU Prolog `'$stream_position'(57,57,0,57)`.

Added `stream_position_data/3` built-in predicate. `stream_position_data(?Field, +Pos, -Data)`. `Field` is one of `line_count`, `line_position` or `char_count`.

Thanks. Fixed!

In Tau Prolog, you can open a regular HTML element as a stream. I think the best option is to write the output directly from Prolog. ```html ``` ```prolog :-...

You can set the output with `set_output/1`: ```prolog :- use_module(library(dom)). main(Goal) :- get_by_id(writeme, WriteMe), open(WriteMe, write, Stream), set_output(Stream), call(Goal). ``` Thus, all output produced by your goal is redirected to...

In order to fix line breaks, try to apply the following style to the output element: ```css #writeme { white-space: pre; } ```