Leram - Prolog by Example: How to Learn, Teach and Use it