Title: Mastering KnowledgeMan/2 for new and advanced users