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.

In a move that will absolutely not over-excite anyone, nor lead to any heated arguments, [needleful] posits that their C Plus Prolog (C+P for short) programming language is the best possible language ...