Logic Programming with Prolog

Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java.