Tau Prolog: JavaScript Prolog Interpreter

Tau Prolog is an open-source, client-side Prolog interpreter implemented entirely in JavaScript. It aims for high compliance with the ISO Prolog Standard, enabling the development and portability of Prolog applications across various systems. The current stable version is 0.3.4, with releases appearing to be infrequent and focused on bug fixes and minor feature additions. A key differentiator is its compatibility with both web browsers (client-side) and Node.js environments, allowing for seamless integration. It uniquely supports DOM manipulation and event handling using Prolog predicates, and incorporates an asynchronous, callback-based execution model to prevent UI blocking in browsers, which contrasts with many other Prolog systems that operate server-side or via WebAssembly.