检查是否已将事实输入Prolog知识库

Question

如果我有一个正在执行表单的查询：

human(mary)

如何判断先前是否曾在任何其他谓词中输入mary。换句话说，我如何判断知识库是否曾见过玛丽？