So the faculty requires me to take two 3rd year courses in Prolog. One of them is in AI, the other is a split between functional and logical programming, with the functional being done with Haskell.

This project is meant to serve as an interactive version of https://www.metalevel.at/prolog/introduction-- it will teach you how to edit and work with Swi-Prolog ...

In Prolog, we need not mention the way how one problem can be solved, we just need to mention what the problem is, so that Prolog automatically solves it. However, in Prolog we are supposed to give ...