On definite program answers and least Herbrand models
By
Włodzimierz Drabent
Polish Academy of Sciences, Warszawa, Poland and
Linköpings universitet, Sweden
Abstract
A sufficient and necessary condition is given under which least Herbrand models exactly characterize the answers of definite clause programs.
TPLP rapid publication paper