Describe the rules.
Discover the answers.
A small playground for answer set programming.
Edit the program, run it, and explore every valid arrangement.
Powered by Bend 2
Runs in your browser
Runs in your browser
∴
What follows from your rules?
Run the program to see its stable models.
Four Queens has two valid boards.
Full answer set
寻 permits.
Choose what may be true.
若…则 derives.
Let rules establish consequences.
A statement requires.
Keep answers where it holds.