Disclaimer: Some of the code, e.g. all of the checker code is the intellectual property of the PP-Team. Because I found other people have little interest in Prolog I did not put effort in translating the source code to English. Feel free to open a issue on this subject and I will help you.
Created by gh-md-toc
This project provides solutions for the third homework for the Programming Paradigms course taught at Politehnica University of Bucharest, during the second semester of the university year 2020-2021.
Homework description can be read here.
Because this project was build in stages, you will find in each stage* sub folder the degree of completion. In the final stage the code takes less then 3 seconds to complete under a stress test.
It was tested only using SWI-Prolog
The code written by me can be read in integrame.pl.
For more information or a syllabus check out the course description page here . This course was taught by Mihnea-Cosmin Muraru.
Testing with the homework checker:
user@user-pc:~$ prolog integrame.pl
?- test_mode(detailed).
true.
?- vmtest.The main predicate rezolvare(integ(H, W, L, Voc), Sol) takes in a crossword,
integ, with height H, width W, a list, L, of cell types, and a
vocabulary Voc. The second argument could be given, or built.
See how the input is build for more details.
I would like to thank Mihnea Muraru for all his support.