Our book isn't specific to Prolog but it chooses a style of formal description which is close to Prolog, so that you can start to implement some of the ideas directly in a commonly available programming language. The purpose of this page is to help make the book self-contained by giving you a brief guide to basic Prolog programming.