Towards a Real Horn Clause Language.

Ravi Krishnamurthy Shamim A. Naqvi

Published in: VLDB (1988)

Keyphrases

horn clauses
programming language
logic programs
machine learning
inductive logic programming
neural network
real life
general purpose
first order logic
training data
relational databases
xml documents
knn