Heuristic Semantic Mapping on Herbrand Base
Herbrand基上的启发式语义映射

In this paper, we introduce a new kind of semantic mapping on Herbrand base, called heuristic mapping, its properties are discussed. As an application, finally, we define the minimal and supperted model semantics for the stratified logic program by using the heuristic semantic mapping.