Dan Rose

Maybe both the docs and the return type of `WatchCallback` should be changed to `undefined | Promise`? `void` provides very little type-checking since a function returning `void` may return *any*...

Both `reif` and `clpz` have a logical conjunction operator. Is there supposed to be a semantic difference between these two expressions? ```prolog if_(clpz_t(#A #/\ #B), write('t '), write('f ')). #...

> This is a known limitation. It's because of this line … We should update the documentation of Texture.addUpdateRange() to make that clear I thought that might be the culprit....

> A predicate without clauses that has been declared as dynamic must not fail in listing. That is the behavior in SICStus. That’s what the current predicate does so I...

> A predicate without clauses that has been declared as dynamic must not fail in listing. That is the behavior in SICStus. I can't find this in the SICStus documentation...

@triska, @UWN I'm blocked on how to proceed. How should I fix the behavior? Or should I leave the no-clauses case undocumented?

A predicate that fails is similar but not identical to a predicate with no clauses. Should `listing/1` print such a "virtual" clause, a comment, or nothing when there truly are...

It seems that, on SICStus, the behavior is substantially different. It doesn't print *anything* for a dynamic predicate with no clauses, and even succeeds when called on a built-in predicate!...

> Many errors are issued in SICStus via messages. That is warnings. That's what you got. Scryer is more restrictive issuing directly errors. If I'm understanding correctly, the purpose of...

@hurufu Don't quote me on this, but I _think_ the intent is to be able to declare such a nonterminal with `:- dynamic(a//0)` and query it with `listing(a//0)` though currently...