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.

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

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.