First-order unification by structural recursion.

Published in: J. Funct. Program. (2003)

Keyphrases

higher order
structural information
deductive databases
structural analysis
three dimensional
natural language
horn clauses
structural features
complex objects
logic programs
database
bayesian networks
image processing
knowledge base
e learning
artificial intelligence
information retrieval