For this class, we use SWI-Prolog. You can download binaries for a Windows or macOS system here.
Also, there is an unofficial tutorial for installation here.
For Mac with Homebrew installed, you can do this command (info here):
brew install swi-prolog
For Ubuntu, you can do these commands:
sudo add-apt-repository ppa:swi-prolog/stable sudo apt-get update sudo apt-get install swi-prolog
You will turn in two prolog programs (in separate files) that solve the following logic puzzles:
To help you start, we've provided a sample solution to It's a tie. Use this as a model for your own Prolog solutions.