Markus Triska

On the WAM level, is the number of inferences equivalent to the number of `call` and `execute` instructions that have been interpreted?

I have filed #1999 for this. However, it does not yet show the inferences when the goal fails. Would it still be useful to add it like this?

Another example, which arises when the module wants to assert (generated) clauses: :- module(m, [run/0]). run :- p. :- initialization(assertz((p :- true))). Unexpectedly yielding: ?- run. error(existence_error(procedure,p/0),p/0), unexpected. true. %...

One architecture that suggests itself is to equip each thread with its own dedicated WAM interpreter. As a user who is interested in this feature, my expectation is not that...

Yes, to clarify: Certainly there does not need to be any kind of correspondence to OS-level threads at all, at least not necessarily. For writing web servers in Prolog, all...

It seems #1980 is already a great step in this direction, making it possible to run multiple machines concurrently? Is there a way that this functionality can be sensibly exposed...

@guregu: I see something that may be even better has now come up, provided for Trealla Prolog in https://github.com/guregu/trealla-js/pull/27?

To me, this requirement seems eminently sensible, and it may be a way to gradually increase the use of the monotonic execution mode in different libraries. @UWN: Do you maybe...

I think one way to avoid the unwanted tags is to use **`load_xml/2`** instead of `load_html/2`. For example, we get: ?- load_xml("(foo (+ 2 3))", DOM, []). DOM = [element(code,[x="123",b="cde"],["(foo...

Thank you, thank you, I am glad you find the material useful! Parsing HTML is harder than generating it from the DOM, so Tau Prolog may benefit from similar engine-powered...