This is SWI-Tinker: SWI-Prolog running inside your browser

Please consult our Wiki for help

Query builders: propositional and first-order logic (G4+) · modal logic (G4m, nkm) · temporal logic (Volpe)

Last update: August 25, 2026