quatroRainhas, Common Lisp

Language: Layout:

; Define função condição de segurança da rainha na posição x y
(defun verifique (x y rainhas)
    
  ; Verifica condição de posicionamento da rainha
  (cond 
      
    ; Verifica se rainha da vez é membro da condição de linha
    ((member t (mapcar #'(lambda (xy) (or (= x (car xy)) (= y (cadr xy)))) rainhas)) nil)
    
    ; Verifica se rainha da vez é membro da condição diagonal
    ((member t (mapcar #'(lambda (xy) (= 1 (abs (/ (- x (car xy)) (- y (cadr xy)))))) rainhas)) nil)
    (t)
  )
)

; Define posicionamento recursivo da rainha em x e y na ordem: (1 1) ~ (max max)
(defun posicione (x y rainhas n)
    
  ; Condição de posicionamento seguro  
  (cond
      
    ; Se verdadeiro Imprime tuplas (coluna linha) de posições da solução
    ((= n (length rainhas)) (print (list 'Solução rainhas)) (cdr rainhas))
    
    ; Caso contrario passa para proxima (coluna linha)
    ((or (> x n) (> y n)) (cdr rainhas)) 
    
    ; Verifica se pode posicionar a rainha
    ((verifique x y rainhas)
    
      ; Define conjunto, aplica laço recursivo com contador x + 1 e empilha rainha
      (setq rec (posicione (+ 1 x) 1 (append (list (list x y)) rainhas) n))
      
      ; Verifica condição de coluna
      (cond
          
        ; Condição de laço recursivo com contador y + 1 e conjunto rec verdadeiro
        ((equal rainhas rec) (posicione x (+ 1 y) rainhas n)) 
        (t rec)
      )
     )
        
    ; Executa a função de forma recursiva incrementando coluna y
    (t (posicione x (+ 1 y) rainhas n))
  )
)

; Define função
(defun imprima (n)
    
    ; Verifica erro de exceção para entrada com n < 1
    (assert (numberp n) (n) "Erro: O parâmetro <n> precisa ser um número.")
    (assert (not (< n 1)) (n) "Erro: O parâmetro <n> precisa ser um número positivo.")
    
    ; Executa o laço
    (posicione 1 1 '() n))

; Imprime solução com 4 rainhas
(print (list 'Solução (imprima 'abc)))

[ + ] Show input
Absolute running time: 0.21 sec, cpu time: 0.04 sec, memory peak: 9 Mb, absolute service time: 0,23 sec