Logic Workbench

engine: loading… storage: loading… github: …

Projects

Starts a fresh project from the sample model and evaluation suite. Switching or creating never discards another project — each is saved under its own name.

GitHub sync

Model

Prolog rules & facts

Evaluations

Query

scratch facts allowed; last clause is the goal

Results

No results yet.

Search tree