Add example Prolog code from the book
[prolog] Implement list reverse and list minimum