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.