Efficient and Complete Demo Predicates for Definite Clause Languages.

Henning Christiansen

Published in: ICLP (1994)

Keyphrases

definite clause
expressive power
databases
predicate invention
knowledge base
domain knowledge
data sources
pattern matching