Software

A docker image is setup for the course. It contains the necessary software to run OCaml, SWI-Prolog and the Jupyter notebooks. Instructions for setting this up in your computers are available at this link. Please follow these instructions precisely. The docker image is also available here. Please contact the instructor or TAs if you are facing any issues with this. The lectures and the assignment submission require this setup, and in fact assignment 0 is meant just for ensuring that you have set it up.

OCaml

It is not necessary to install OCaml on your computers. You can run and experiment with OCaml programs through juypter notebooks or utop on the Docker image. However, if you still want to install Ocaml, follow the instructions here. It is recommended to also install utop.

SWI-Prolog

Installation instructions are available here. Again, it is not necessary to install SWI-Prolog on your computers.