An open source Prolog interpreter in JavaScript
A tool for drawing derivation trees of Tau Prolog
Trabalho Prático - Sistemas Baseados em Conhecimento - MIEGSI 2020/2021
Recriação do jogo Donkey Kong utilizando buscas em Prolog 😎
An online Tau Prolog sandbox
A web-based notebook environment for Tau Prolog
An escape room game created with Tau Prolog.
The home of the Tau Prolog website
A React + TypeScript web app that lets you design and solve your own crossword puzzles — powered by Tau-Prolog in the browser (with a pure JS fallback). Build, import, export, and auto-solve crosswords — right from your browser.
Diners' Discourse
Add a description, image, and links to the tau-prolog topic page so that developers can more easily learn about it.
To associate your repository with the tau-prolog topic, visit your repo's landing page and select "manage topics."