如何验证prolog文件子句数据库中是否存在规则

I'm working on a college assignment where I must verify if a certain clause (as a fact or as a rule) exists in the current clause database.I'm working on a college assignment where I mus