Logic Workbench
engine: loading…
storage: loading…
github: …
GitHub
Export
GitHub sync
✕
Model
Prolog rules & facts
▾
Evaluations
Run suite
▾
Query
scratch facts allowed; last clause is the goal
Run query
Results
No results yet.