KnowledgeWorks is integrated with LispWorks so you cannot exit from KnowledgeWorks independently. You can close individual KnowledgeWorks windows by Window > Close Window . You can exit LispWorks by choosing LispWorks > Quit LispWorks . If you have any unsaved edited files you will be asked whether you wish to save them. There will be a final confirmation before KnowledgeWorks quits.
KnowledgeWorks and Prolog User Guide (Macintosh version) - 6 Dec 2011