Quick Prolog

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.