Prolog online compiler

Online Prolog runner for logic-programming examples.

About this Prolog compiler

Prolog is the classic logic language. Load a small knowledge base and query it in the sandbox to explore unification and backtracking.

FAQ

How do I supply a query?

Follow the sample style for your runner package — typically facts in the file and a goal the runtime executes.