SLDFA-resolution : computing answers for negative queries
Torbjörn Näslund · 1990
The notion of SLDNF-resolution gives a theoretical foundation for implementation of logic programming languages. However, a major drawback of SLDNF-resolution is that for negative queries it can no ...