The “funniest” way I can think of to practice logic programming is to use it to solve a logic puzzle. A logic puzzle is typically presented as a mystery and list of clues that can be used to infer facts such as “who done it”.
For this assignment, we will use the Printable Logic Puzzles (Links to an external site.) website to find two puzzles to solve. One will be a “challenging” puzzle and the other will be a “Very Hard” puzzle.
For this assignment, you will write all of the clues as rules in a prolog program.
Your prolog file must obey the following format:
url/1 fact to get the URL of the puzzle being solced.solution/1 fact with the correct solution hardcoded in. You will get the correct solution from the Printable Logic Puzzles (Links to an external site.) website.solve/1 rule that uses the clues to find one, and only one, table that is the solution.clueX(T) rules that are satisfied whenever the solution in T is consistent with clue X.check rule as follows:check :- solution(S), solve(S), aggregate_all(count, (solve(_T)), Count), format("Found ~w solutions~n", [Count]), Count=1. To receive credit, your puzzle must find one, and only one, solution to the puzzle.
Your assignment will be checked by running swipl in the docker container as follows:
swipl -q -g check -g halt challenging.pl or
swipl -q -g check -g halt veryhard.pl which will use your solve and solution predicates to make sure you find exactly one solution and that it is the correct solution.
You can, of course, work on your solution using SWISH (Links to an external site.) in which case you may want to also use their table rendering plugin (Links to an external site.) to display your solution. Once you have a solution, however, you should confirm that it runs properly in the container. This may mean commenting out the part where you load the plugin.
make checkor
make check-challenging
make check-veryhardAll of these MUST pass before you submit the assignment.
The work has not been graded but I like the output that was submitted to me. Is it possible for the same prof to do the next assignment I will be submitting? If possible, I will greatly appreciate it.
Delivering a high-quality product at a reasonable price is not enough anymore.
That’s why we have developed 5 beneficial guarantees that will make your experience with our service enjoyable, easy, and safe.
You have to be 100% sure of the quality of your product to give a money-back guarantee. This describes us perfectly. Make sure that this guarantee is totally transparent.
Read moreEach paper is composed from scratch, according to your instructions. It is then checked by our plagiarism-detection software. There is no gap where plagiarism could squeeze in.
Read moreThanks to our free revisions, there is no way for you to be unsatisfied. We will work on your paper until you are completely happy with the result.
Read moreYour email is safe, as we store it according to international data protection rules. Your bank details are secure, as we use only reliable payment systems.
Read moreBy sending us your money, you buy the service we provide. Check out our terms and conditions if you prefer business talks to be laid out in official language.
Read more