From 75c963565821fa2fe557a6b876eb1015775870ed Mon Sep 17 00:00:00 2001 From: Marceline Cramer Date: Wed, 15 Apr 2026 11:33:55 -0600 Subject: [PATCH] NQueens syntax fixes --- examples/NQueens.rp1 | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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.