SWI-Prolog backtracking model for magic squares
SWI-Prolog CLP(FD) model for magic squares
SWI-Prolog backtracking model for magic sequences
SWI-Prolog CLP(FD) model for magic sequences