A miniature Prolog interpreter written entirely in WebAssembly (GC extensions), running right here in your browser. Edit the program, type a query, and pull answers one at a time — each “;” pops the next alternative off the interpreter’s backtracking stack.