Hacker News
- An open source Prolog interpreter in JavaScript http://tau-prolog.org/ 2 comments
- Tau Prolog: A Prolog Interpreter in JavaScript http://tau-prolog.org/ 7 comments
- Prolog Grammar or BNF? http://tau-prolog.org/files/doc/grammar-specification.pdf 11 comments prolog
- Tau Prolog: A Prolog interpreter in JavaScript http://tau-prolog.org/ 12 comments programming
- Textadventure in Prolog http://www.tau-prolog.org/ 5 comments prolog
- Tau Prolog - how to load Prolog program from external file into a html page. http://tau-prolog.org/documentation#examples 2 comments prolog
Linking pages
- GitHub - sebdumancic/pylo2: Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit. https://github.com/sebdumancic/pylo2 9 comments
- GitHub - viebel/klipse: Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs. https://github.com/viebel/klipse 5 comments
- Automated Propositional Sequent Proofs in Your Browser with Tau Prolog | Hey There Buddo! https://www.philipzucker.com/javascript-automated-proving/ 3 comments
- GitHub - guregu/trealla-js: Trealla Prolog for the web https://github.com/guregu/trealla-js 1 comment
- GitHub - public-law/war-crimes-explorer: Interactive in-browser learning about genocide, war crimes, crimes against humanity, and aggression. https://github.com/public-law/war-crimes-explorer 1 comment
- GitHub - tau-prolog/tau-prolog: An open source Prolog interpreter in JavaScript https://github.com/tau-prolog/tau-prolog 0 comments
- GitHub - guregu/worker-prolog: serverless Prolog for Cloudflare Workers https://github.com/guregu/worker-prolog 0 comments
- Replicating Rise4Fun Z3 with z3-wasm | Hey There Buddo! https://www.philipzucker.com/replacing-rise4fun/ 0 comments