A Class of Programs for which SLDNF Resolution and NAF Rule are Complete.

Stefano Baratella

Published in: Theor. Comput. Sci. (1993)

Keyphrases

high resolution
multi class classification
provably correct
partial deduction
information retrieval
genetic algorithm
relational databases
source code
consequence finding