Horn Clause Computability.

Sten-Åke Tärnlund

Published in: BIT (1977)

Keyphrases

horn clauses
inference rules
first order logic
inductive logic programming
logic programs
database queries
databases
keywords
relational databases
feature vectors
data model
active learning