Homework 5

1. Download and install an IDE for Prolog, e.g. SWI-Prolog at https://www.swi-prolog.org,
or use the online Prolog REPL SWISH at https://swish.swi-prolog.org.
2. Start reading the Prolog tutorial at
http://www.learnprolognow.org/lpnpage.php?pageid=online.

Lab Assignment 5: Logic Puzzle

Write a Prolog program to solve the logic puzzle “Star Tricked”.

You will need a way of writing facts that occurred earlier in the week. You can use simple clauses like earlier(tuesday, wednesday). Or you can encode days as numbers and use arithmetic, then translate the output.

• of 2

Deliverable: A private git repository named “CECS 424 Spring 2020 Assignment 5” with me [email protected] (and only for section 01 [email protected] as well) added as a reader, that contains all your Prolog source code as described above and a text file with the solution output of your program.

Due dates: Section 01: Wednesday 6 May 2020,

Section 03: Thursday 7 May 2020,

Section 05: Friday 8 May 2020,

Section 07: Thursday 7 May 2020, all at the beginning of lecture.

• of 2