Hacker News
- Automated Propositional Sequent Proofs in the Browser with Tau Prolog https://www.philipzucker.com/javascript-automated-proving/ 3 comments
Linking pages
Linked pages
- The Power of Prolog https://www.metalevel.at/prolog 582 comments
- MathJax | Beautiful math in all browsers. https://www.mathjax.org/ 221 comments
- miniKanren.org http://minikanren.org 81 comments
- Tau Prolog: A Prolog interpreter in JavaScript http://tau-prolog.org/ 26 comments
- Logitext http://logitext.mit.edu/main 3 comments
- GitHub - LPCIC/elpi: Embeddable Lambda Prolog Interpreter https://github.com/LPCIC/elpi 1 comment
- Prolog and Logic Programming http://okmij.org/ftp/Prolog/index.html#impure 0 comments
- Horn clause - Wikipedia https://en.wikipedia.org/wiki/Horn_clause 0 comments
Related searches:
Search whole site: site:philipzucker.com
Search title: Automated Propositional Sequent Proofs in Your Browser with Tau Prolog | Hey There Buddo!
See how to search.