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
Prolog Agent Framework, Reusable Agent Skills, MCP Server Pattern, Neurosymbolic AI, and Safe Multi-Engine Execution (Scryer, SWI, Trealla, Tau).
Recriação do jogo Donkey Kong utilizando buscas em Prolog 😎
A web-based notebook environment for Tau Prolog
An online Tau Prolog sandbox
An escape room game created with Tau Prolog.
Interactive logic puzzle solver using Prolog and WebAssembly with step-by-step reasoning visualization
Diners' Discourse
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.
The home of the Tau Prolog website
To associate your repository with the tau-prolog topic, visit your repo's landing page and select "manage topics."