Prolog Day 3

8queens.prolog

#!/opt/local/bin/gprolog --consult-file

valid_queen(Col) :-
    member(Col,[1,2,3,4,5,6,7,8]).

valid_board([]).
valid_board([H|T]):- valid_queen(H),valid_board(T).

diags1(_,[],[]).
diags1(Row,[Col|QT],[D|DT]) :- 
    D is Col-Row,
    NextRow is Row+1,
   diags1(NextRow,QT,DT).

diags2(_,[],[]).
diags2(Row,[Col|QT],[D|DT]) :- 
    D is Col+Row,
    NextRow is Row+1,
   diags2(NextRow,QT,DT).

eight_queens(Board):-
                       Board=[A,B,C,D,E,F,G,H], 
                       valid_board(Board), 
                       fd_all_different(Board),
                       diags1(1,Board,Diags1),
                       fd_all_different(Diags1),
                       diags2(1,Board,Diags2),
                       fd_all_different(Diags2).

9x9 Sudoku.prolog

#!/opt/local/bin/gprolog --consult-file

valid([]).
valid([H|T]) :- fd_all_different(H), valid(T).


sudoku(Solution):- 
see('sq.prolog'),
read(Puzzle),
seen,
Solution=Puzzle,

Puzzle = [ S11,S12,S13,S14,S15,S16,S17,S18,S19,
           S21,S22,S23,S24,S25,S26,S27,S28,S29,
           S31,S32,S33,S34,S35,S36,S37,S38,S39,
           S41,S42,S43,S44,S45,S46,S47,S48,S49,
           S51,S52,S53,S54,S55,S56,S57,S58,S59,
           S61,S62,S63,S64,S65,S66,S67,S68,S69,
           S71,S72,S73,S74,S75,S76,S77,S78,S79,
           S81,S82,S83,S84,S85,S86,S87,S88,S89,
           S91,S92,S93,S94,S95,S96,S97,S98,S99],

fd_domain(Puzzle,1,9),

Row1 = [S11,S12,S13,S14,S15,S16,S17,S18,S19],
Row2 = [S21,S22,S23,S24,S25,S26,S27,S28,S29],
Row3 = [S31,S32,S33,S34,S35,S36,S37,S38,S39],
Row4 = [S41,S42,S43,S44,S45,S46,S47,S48,S49],
Row5 = [S51,S52,S53,S54,S55,S56,S57,S58,S59],
Row6 = [S61,S62,S63,S64,S65,S66,S67,S68,S69],
Row7 = [S71,S72,S73,S74,S75,S76,S77,S78,S79],
Row8 = [S81,S82,S83,S84,S85,S86,S87,S88,S89],
Row9 = [S91,S92,S93,S94,S95,S96,S97,S98,S99],

Col1 = [S11,S21,S31,S41,S51,S61,S71,S81,S91],
Col2 = [S12,S22,S32,S42,S52,S62,S72,S82,S92],
Col3 = [S13,S23,S33,S43,S53,S63,S73,S83,S93],
Col4 = [S14,S24,S34,S44,S54,S64,S74,S84,S94],
Col5 = [S15,S25,S35,S45,S55,S65,S75,S85,S95],
Col6 = [S16,S26,S36,S46,S56,S66,S76,S86,S96],
Col7 = [S17,S27,S37,S47,S57,S67,S77,S87,S97],
Col8 = [S18,S28,S38,S48,S58,S68,S78,S88,S98],
Col9 = [S19,S29,S39,S49,S59,S69,S79,S89,S99],

Sqr1 = [S11,S12,S13,S21,S22,S23,S31,S32,S33],
Sqr2 = [S14,S15,S16,S24,S25,S26,S34,S35,S36],
Sqr3 = [S17,S18,S19,S27,S28,S29,S37,S38,S39],
Sqr4 = [S41,S42,S43,S51,S52,S53,S61,S62,S63],
Sqr5 = [S44,S45,S46,S54,S55,S56,S64,S65,S66],
Sqr6 = [S47,S48,S49,S57,S58,S59,S67,S68,S69],
Sqr7 = [S71,S72,S73,S81,S82,S83,S91,S92,S93],
Sqr8 = [S74,S75,S76,S84,S85,S86,S94,S95,S96],
Sqr9 = [S77,S78,S79,S87,S88,S89,S97,S98,S99],
valid([Row1,Row2,Row3,Row4,Row5,Row6,Row7,Row8,Row9,
      Col1,Col2,Col3,Col4,Col5,Col6,Col7,Col8,Col9,
      Sqr1,Sqr2,Sqr3,Sqr4,Sqr5,Sqr6,Sqr7,Sqr8,Sqr9]).

sudokup(S) :- sudoku(S), printSol(S).

printSol([]):-!.
printSol(L) :- listShRem(L,9,SL,R),write(SL),nl, printSol(R).


listShift([],_,[]):-!.
listShift(_,0,[]):-!.
listShift([H|T1],S,[H|T2]) :- C is S-1,listShift(T1,C,T2).
listShRem(L,S,SL,R) :- listShift(L,S,SL),append(SL,R,L).

#input


[5,_,_,4,_,6,_,_,7,
_,_,1,_,8,_,6,_,_,
_,4,_,9,_,2,_,3,_,
1,9,_,_,_,_,_,5,3,
_,_,7,_,_,_,2,_,_,
6,5,_,_,_,_,_,7,8,
_,1,_,8,_,7,_,6,_,
_,_,9,_,3,_,8,_,_,
4,_,_,6,_,1,_,_,9].

Sudoku_Pretty_print.prolog

#!/opt/local/bin/gprolog --consult-file

valid([]).
valid([H|T]) :- fd_all_different(H), valid(T).

sudoku(Puzzle,Solution):- Solution=Puzzle,

Puzzle = [ S11,S12,S13,S14,
           S21,S22,S23,S24,
           S31,S32,S33,S34,
           S41,S42,S43,S44],

fd_domain(Puzzle,1,4),

Row1 = [S11,S12,S13,S14],
Row2 = [S21,S22,S23,S24],
Row3 = [S31,S32,S33,S34],
Row4 = [S41,S42,S43,S44],

Col1 = [S11,S21,S31,S41],
Col2 = [S12,S22,S32,S42],
Col3 = [S13,S23,S33,S43],
Col4 = [S14,S24,S34,S44],

Sqr1=[S11,S12,S21,S22],
Sqr2=[S13,S14,S23,S24],
Sqr3=[S31,S32,S41,S42],
Sqr4=[S33,S34,S43,S44],

valid([Row1,Row2,Row3,Row4,
      Col1,Col2,Col3,Col4,
      Sqr1,Sqr2,Sqr3,Sqr4]).

sudokup(P,S) :- sudoku(P,S), printSol(S).

printSol([]):-!.
printSol(L) :- listShRem(L,4,SL,R),write(SL),nl, printSol(R).

listShift([],_,[]):-!.
listShift(_,0,[]):-!.
listShift([H|T1],S,[H|T2]) :- C is S-1,listShift(T1,C,T2).
listShRem(L,S,SL,R) :- listShift(L,S,SL),append(SL,R,L).