We propose a new grouping operator for logicprograms based on the bag of predicate. The novelty of our proposal lies in the use of modes, which allows us to prove properties regarding groundness of computed answer su...
详细信息
ISBN:
(纸本)9783642125911
We propose a new grouping operator for logicprograms based on the bag of predicate. The novelty of our proposal lies in the use of modes, which allows us to prove properties regarding groundness of computed answer substitutions and termination. Moreover, modes allow us to define a somewhat declarative semantics for it and to relax some rather unpractical constraints on variable occurrences while retaining a straightforward semantics.
暂无评论