Goal:
Prolog Text:
Examples