Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy.
Edward W. ElcockP. HoddinottPublished in: AAAI (1986)
Keyphrases
- search strategy
- logic programming
- search strategies
- search algorithm
- search space
- expert systems
- programming language
- theorem proving
- knowledge representation
- programming paradigms
- prolog programs
- abstract machine
- branch and bound search
- effective pruning
- horn clauses
- constraint logic programming
- logic programming language
- knowledge base
- inference engine
- hill climbing
- function symbols
- branch and bound
- heuristic search
- functional programming
- semantically equivalent
- data model