Skip to content

Try PyLog

Experience PyLog directly in your browser! This interactive terminal REPL runs entirely client-side using WebAssembly via Pyodide.

Quick Examples

Try these queries to get started:

  • Simple unification: X = hello
  • List membership: member(X, [1, 2, 3])
  • Append lists: append([1, 2], [3, 4], X)
  • CLP(FD) constraints: X in 1..10, X #> 5, label([X])

Safety Features

  • Step limit: Queries are limited to prevent infinite loops
  • Solution limit: Maximum number of solutions returned
  • Timeout protection: Queries automatically abort after time limit
  • Worker isolation: Runs in separate Web Worker for UI responsiveness

Learning Resources