Prolog is a fun and easy programming language to learn. It serves a very important role in artificial inteligence. It is a programming language made for artificial inteligence rather than an AI ...

The basis for lambda prolog is higher order logic. This is achieved through types and sequent calculus. In lambda prolog there are only 6 types: int, real, o, string, in_stream, out_stream, all ...

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.