diff --git a/examples/NQueens.rp1 b/examples/NQueens.rp1 index 9d7bd0b..4c2109e 100644 --- a/examples/NQueens.rp1 +++ b/examples/NQueens.rp1 @@ -14,7 +14,7 @@ Queen(row, col) :- Coord row, Coord col. :- @count col : Queen(_, col) = 1. ; At most one queen can go along each main diagonal. -:- @count diag : { Queen (row, col), diag = row + col } <= 1. +:- @count diag : { Queen(row, col), diag = row + col } <= 1. ; At most one queen can go along each orthogonal diagonal. -:- @count diag : { Queen (row, col), diag = row - col } <= 1. +:- @count diag : { Queen(row, col), diag = row - col } <= 1.