Downloads

Custom package

You can download a custom bundle including only the modules you need. Note that core includes the resolution mechanism and all built-in predicates.

This option generates a .zip file containing a .js file for each selected module instead of an only .js file with all the code.

(See [Compatibility with Node.js] from Tau Prolog manual)

Source code

Latest version

Do not just include the graphic from our servers on your page, please. Copy the image to your site.

Tau logo

Tau Prolog tau logo

SVG format (scalable vector graphic)

PNG format: x16 | x32 | x64 | x128 | x256 | x512

Complete logo

Tau Prolog complete logo

SVG format (scalable vector graphic)

PNG format: x16 | x32 | x64 | x128 | x256 | x512