References:

http://www.doc.gold.ac.uk/~mas02gw/prolog_tutorial/prologpages/
