aplai

Project on constraint programming in ECLiPSe and CHR (swi-prolog) for the Advanced Programming Languages for AI course at KULeuven.

Task 1: Sudoku

Write a sudoku solver in two of the following systems: * ECLiPSe * CHR * JESS

A solver in two out of the three systems.

Name		Name	Last commit message	Last commit date
Latest commit History 41 Commits
Toon_Nolten_Joren_Verspeurt_submission_aplai		Toon_Nolten_Joren_Verspeurt_submission_aplai
APLAI_slither_puzzles.ecl		APLAI_slither_puzzles.ecl
LICENSE		LICENSE
README.md		README.md
Toon_Nolten_Joren_Verspeurt_submission_aplai.zip		Toon_Nolten_Joren_Verspeurt_submission_aplai.zip
aplai_opgave1314.pdf		aplai_opgave1314.pdf
basic_slither.pl		basic_slither.pl
matrix.txt		matrix.txt
slither_chr.pl		slither_chr.pl
slitherlink_eclipse_results.json		slitherlink_eclipse_results.json
slitherlink_eclipse_sol.ecl		slitherlink_eclipse_sol.ecl
slitherrules.txt		slitherrules.txt
sudex_toledo.pl		sudex_toledo.pl
sudoku_chr.pl		sudoku_chr.pl
sudoku_chr_channeling.pl		sudoku_chr_channeling.pl
sudoku_chr_ovp.pl		sudoku_chr_ovp.pl
sudoku_ecl_experiment_alldifflocal.txt		sudoku_ecl_experiment_alldifflocal.txt
sudoku_eclipse_sol.ecl		sudoku_eclipse_sol.ecl