Reduction and Narrowing for Horn Clause Theories.

Published in: Comput. J. (1991)

Keyphrases

horn clauses
inference rules
first order logic
logic programs
inductive logic programming
reduction method
database queries
theoretical framework
neural network
learning algorithm
software engineering
natural language processing