use clingo::{Control, Part, ShowType, SolveMode, Symbol};

use clingo::{ClingoError, Control, FactBase, Part, ShowType, SolveMode, Symbol, ToSymbol};

#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub struct Queen(OneBased<u32>, OneBased<u32>);

impl ToSymbol for Queen {
    fn symbol(&self) -> Result<Symbol, ClingoError> {
        let args = &[
            Symbol::create_number(self.0.raw() as i32),
            Symbol::create_number(self.1.raw() as i32),
        ];
        Symbol::create_function("queen", args, true)
    }
}

pub fn solve(req: SolveRequest) -> Result<SolveResponse, SolveError> {

pub fn solve(mut req: SolveRequest) -> Result<SolveResponse, SolveError> {

    // TODO (malte): Add fixed queen constraints

    let mut fact_base = FactBase::new();
    // Add fixed queens to fact base
    req
        .fixed_queens
        .drain(..)
        .map(|(x, y)| Queen(x.into(), y.into()))
        .for_each(|queen| fact_base.insert(&queen));
    ctl.add_facts(&fact_base);