added example of when argument is not suitably instantiated
comment
added retractall/1 - resolves #81