Forward-chaining on Prolog-style facts and Horn rules; query goals and inspect derivation traces.
This site requires JavaScript. It runs entirely in your browser; nothing is uploaded. Deutsch: Diese Seite benötigt JavaScript und läuft lokal im Browser. Français : ce site nécessite JavaScript et s'exécute localement dans le browser. Español: este sitio requiere JavaScript y se ejecuta localmente en el navegador.