Prolog有没有标准的谓词库?我正在研究一个聊天机器人,这将有常识。除了数学规则和事实之外,我还需要一些英语基本谓词,例如odd(A) :- 1 is A mod 2.
...把所有这些基本的规则和事实都放在手中,那将是一项地狱般的工作。我知道有成千上万的人在做类似的谓词,但是有什么集合吗?如果在关系、数学、常识等领域有单独的规则和事实集合。
我想用Prolog做一些信息检索任务。目前,我有一组(大量)不同的Prolog理论来表示句子中的依赖关系(顺便说一句,我将这些Prolog代码存储在一个文本文件中)-我只想找到那些与用户定义的目标子句匹配的理论。例如,我有这样的Prolog代码:rel("aux","seen","can",S):-S is 1.
rel(&