Was just having a look at:
http://tau-prolog.org/manual/compatibility-with-nodejs

And the example snippet:

var pl = require("tau-prolog");

But my JavaScript linter from IntelliJ says I should use let or const.

On this page:

http://tau-prolog.org/documentation#builtin

Look for "descomposition". Change it to "decomposition".

=../2 – Check the descomposition of a term.

Suggested additional text:

This is known as the "univ" operator in Prolog.

That way the reader can search the web for additional information on the operator, which will be very hard to do using the the text "=.." as a search term.

On this page:

http://tau-prolog.org/manual/prototypes-and-prolog-objects

Look for "wheter". Change to "whether".

I searched through the documentation and so far I could not find any text that gives an overview on what Tau-Prolog threads are. I'm not looking for an extensive technical discussion, just something that differentiates what they are from the normal definition of threads. Given that the Javascript interpreter is single threaded, I assume that that Tau-Prolog threads are a custom construct whose execution scheduling is controlled by Tau-Prolog itself?

I hope you can see my confusion here given that the Javascript interpreter is single-threaded. For veteran developers, threads in the classic sense are an execution resource that is scheduled at the O/S level via task switching.

Note, a short example that shows a simple use case for Tau-Prolog threads would be wonderful. Threads seem to be a very useful feature that I would like to understand.

The link ISO Prolog: A Summary of the Draft Proposed Standard in http://tau-prolog.org/manual/a-simple-tutorial seems to be broken.