A solution to the 8-Queens problem using JEOPS.
The rule base file:
EightQueens.rules