SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification.

Jean H. Gallier Stan Raatz

Published in: SLP (1986)

Keyphrases

preprocessing
database
data mining
high level
significant improvement
higher order
horn clauses