Hacker News
Linked pages
- The Power of Prolog https://www.metalevel.at/prolog 582 comments
- miniKanren.org http://minikanren.org 216 comments
- GitHub - mthom/scryer-prolog: A modern Prolog implementation written mostly in Rust. https://github.com/mthom/scryer-prolog 142 comments
- Don’t Implement Unification by Recursion | Hey There Buddo! https://www.philipzucker.com/unify/ 66 comments
- GitHub - trealla-prolog/trealla: A compact, efficient Prolog interpreter written in plain-old C. https://github.com/trealla-prolog/trealla 34 comments
- GitHub - photonlines/Python-Prolog-Interpreter: A simple Prolog Interpreter written in a few lines of Python 3. It runs a limited subset of Prolog and uses backtracking and generators in order to perform its magic. https://github.com/photonlines/Python-Prolog-Interpreter 21 comments
- How to implement a Prolog interpreter in a purely functional language? - Computer Science Stack Exchange http://cs.stackexchange.com/questions/6618/how-to-implement-a-prolog-interpreter-in-a-purely-functional-language 17 comments
- Solving riddles with Prolog and ES6 generators — Curiosity driven https://curiosity-driven.org/prolog-interpreter 6 comments
- Making a “MiniKanren” using Z3Py | Hey There Buddo! https://www.philipzucker.com/minikanren-z3py/ 5 comments
- Continuation - Wikipedia http://en.wikipedia.org/wiki/Continuation 5 comments
- GitHub - philzook58/knuckledragger: Semi-Automated Python Proof Assistant https://github.com/philzook58/knuckledragger 2 comments
- Justified SMT 1: The Minikanren inside Z3 | Hey There Buddo! https://www.philipzucker.com/minikanren_inside_z3/ 1 comment
- SWI-Prolog http://www.swi-prolog.org/ 0 comments
- Programming Constraint Services with Z3 http://theory.stanford.edu/~nikolaj/nus.html#/ 0 comments
- Higher Order Pattern Unification on the Z3py AST | Hey There Buddo! https://www.philipzucker.com/ho_unify/ 0 comments
Related searches:
Search whole site: site:www.philipzucker.com
Search title: A Small Prolog on the Z3 AST | Hey There Buddo!
See how to search.