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.

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