Welcome to Assignments Writing

Your Trusted Partner in Term Paper Writing

At Assignments Writing, we’re a team of passionate educators and skilled writers committed to supporting students in their academic journey.

Miami University Oxford Prolog Puzzle Project Worksheet

Miami University Oxford Prolog Puzzle Project Worksheet


  1. Select Logic Puzzles: Visit the https://www.printable-puzzles.com/printable-logic-… website and choose two logic puzzles, one labeled as “challenging” and the other as “Very Hard.” You will need the URL of each puzzle to include in your Prolog files.
  2. Create Prolog Files:
    • Create two Prolog files named challenging.pl and veryhard.pl.
    • In each Prolog file, define a url/1 fact to store the URL of the respective puzzle. For example:

      Replace 'URL_OF_CHALLENGING_PUZZLE' with the actual URL of the challenging puzzle.

    • Define a solution/1 fact in each file to hardcode the correct solution obtained from the website. For example:

      Replace SolutionList with the actual solution for the respective puzzle.

    • Implement a solve/1 rule in each file that uses Prolog clauses to solve the puzzle. This rule should derive one, and only one, solution based on the provided clues. You will need to define the predicates and rules required to find the solution.
    • Define a series of clueX/1 rules in each file, where X represents different clues. These rules should be satisfied whenever the solution in T is consistent with clue X. You will need to convert the clues from the puzzle into Prolog clauses and use them in these rules.
    • Include the check rule in each file, as specified. This rule checks whether the solution is valid and if there is only one solution. It should print a message indicating the number of solutions found.
  3. Solve the Puzzle: Implement the Prolog rules and clauses to solve the logic puzzle based on the clues provided in the puzzle description.
  4. Testing: Run the SWI-Prolog interpreter with the check goal to test your Prolog files for correctness. Make sure there is only one valid solution.
swipl -q -g check -g halt challenging.pl
swipl -q -g check -g halt veryhard.pl
  1. Refinement: If necessary, refine your Prolog code until it produces the correct solution and passes the check test.
  2. Documentation: Document your Prolog files, including the URL of the puzzles, the clues used, and any other relevant information.
  3. Submission: Submit your challenging.pl and veryhard.pl Prolog files along with the documentation as required for your assignment.

Ensure that you have a good understanding of Prolog and logic programming to effectively implement the rules and clauses needed to solve the logic puzzles. Additionally, adapt the provided examples to match the actual puzzle and solution you are working with.

Miami University Oxford Prolog Puzzle Project Worksheet





The “funnest” 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 https://www.printable-puzzles.com/printable-logic-… 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 folowing format:

The name of the prolog files must be ‘challenging.pl’ and ‘veryhard.pl’

Your prolog file must provide a url/1 fact to get the URL of the puzzle being solced.

Your prolog file must also provide a solution/1 fact with the correct solution hardcoded in. You will get the correct solution from the https://www.printable-puzzles.com/printable-logic-… to an external site. website.

Your prolog file must provide a solve/1 rule that uses the clues to find one, and only one, table that is the solution.

Your puzzle must have a sereis of clueX(T) rules that are satisfied whenever the solution in T is consistent with clue X.

Your puzzle must include the 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

Place Your Order Here

Our Service Charter

1. Professional & Expert Writers: We only hire the best. Our writers are specially selected and recruited, after which they undergo further training to perfect their skills for specialization purposes. Moreover, our writers are holders of master’s and Ph.D. degrees. They have impressive academic records, besides being native English speakers.

2. Top Quality Papers: Our customers are always guaranteed papers that exceed their expectations. All our writers have +5 years of experience. This implies that all papers are written by individuals who are experts in their fields. In addition, the quality team reviews all the papers before sending them to the customers.

3. Plagiarism-Free Papers: All papers provided are written from scratch. Appropriate referencing and citation of key information are followed. Plagiarism checkers are used by the Quality assurance team and our editors just to double-check that there are no instances of plagiarism.

4. Timely Delivery: Time wasted is equivalent to a failed dedication and commitment. We are known for timely delivery of any pending customer orders. Customers are well informed of the progress of their papers to ensure they keep track of what the writer is providing before the final draft is sent for grading.

5. Affordable Prices: Our prices are fairly structured to fit all groups. Any customer willing to place their assignments with us can do so at very affordable prices. In addition, our customers enjoy regular discounts and bonuses.

6. 24/7 Customer Support: We have put in place a team of experts who answer all customer inquiries promptly. The best part is the ever-availability of the team. Customers can make inquiries anytime.

Format & Features

Our Advantages

How It Works

1. Fill Order Form
2. Make payment
3. Writing process
4. Download paper

Fill in the order form and submit all your files, including instructions, rubrics, and other information given to you by your instructor.

Once you complete filling the forms, complete your payment. We will get the order and assign it to a writer.

When your order is completed, it’s assigned to an editor for approval. The editor approves the order.

Once approved, we will upload the order to your account for you to download.  You can rate your writer or give your customer review.

What Clients Said


I am very satisfied! thank you for the quick turnaround. I am very satisfied! thank you for the quick turnaround.I am very satisfied! thank you for the quick turnaround.

Mercy M

I am very satisfied! thank you for the quick turnaround. I am very satisfied! thank you for the quick turnaround.I am very satisfied! thank you for the quick turnaround.

Jane L

I am very satisfied! thank you for the quick turnaround. I am very satisfied! thank you for the quick turnaround.I am very satisfied! thank you for the quick turnaround.

Rayan M


We are a freelance academic writing company geared towards provision of high quality academic papers to students worldwide.

Open chat
Scan the code
Can we help you?