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

时间:2015-03-10 01:30:32

标签: prolog

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

human(mary)

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

0 个答案:

没有答案