我想用Prolog做一些信息检索任务。目前,我有一组(大量)不同的Prolog理论来表示句子中的依赖关系(顺便说一句,我将这些Prolog代码存储在一个文本文件中)-我只想找到那些与用户定义的目标子句匹配的理论。例如,我有这样的Prolog代码:
rel("nsubjpass","seen","It",S):-S is 1
我希望能够在我当前的prolog程序中尽可能快地查找一个术语的存在,而不需要prolog引擎遍历所有术语,直到它最终到达现有的术语为止。% thousands of other animalsanimal(tiger).
swi引擎将需要经过成千上万的动物,试图与老虎统一,以确认动物(老虎)在我的prolog数据库中。在其他语