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 ...

Some logic programming languages like Datalog or ASP (Answer Set Programming) are known as purely declarative languages. These languages allow statements about what the program should accomplish.

Abstract: Logic programming offers significant advantages for the massively parallel computer systems of tomorrow. This tutorial examines the potential of Prolog to implement those advantages.

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.