tau-prolog / manual Goto Github PK
View Code? Open in Web Editor NEWGet started with Tau Prolog
Home Page: http://tau-prolog.org/documentation
License: BSD 3-Clause "New" or "Revised" License
Get started with Tau Prolog
Home Page: http://tau-prolog.org/documentation
License: BSD 3-Clause "New" or "Revised" License
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.
On this page:
http://tau-prolog.org/manual/prototypes-and-prolog-objects
Look for "wheter". Change to "whether".
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.
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.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.