Despite it’s lack of commercial success, Prolog has been an influential language that has spurred a lot of research into programming languages. Much of what follows is based on the book Programming in ...