There have been active work to extend the Prolog style hornclauselogicprogramming to non-horn *** this paper,we will analyze the complexities of several such *** purpose is to understand the computational complexit...
详细信息
There have been active work to extend the Prolog style hornclauselogicprogramming to non-horn *** this paper,we will analyze the complexities of several such *** purpose is to understand the computational complexity of these inference *** analyses do not prove that any one system is better than the others all the *** they do suggest that one system may be better than the others for some particular *** also discuss the effect of caching.
暂无评论