2016-06

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.

PDF Version

 

TPLP rapid publication paper