NARROWER: A New Algorithm for Unification and Its Application to Logic Programming.

Pierre Réty Claude Kirchner Hélène Kirchner Pierre Lescanne

Published in: RTA (1985)

Keyphrases

logic programming
logic programs
databases
machine learning
search space
knowledge representation
expert systems
inductive logic programming
logic programming language
software engineering
deductive databases
inference rules
default logic