Language facilities for programmable backtracking.
Ralph E. GriswoldDavid R. HansonPublished in: Artificial Intelligence and Programming Languages (1977)
Keyphrases
- dependency directed backtracking
- programming language
- general purpose
- low cost
- constraint satisfaction
- language learning
- natural language
- database
- search algorithm
- knowledge representation
- search space
- lower bound
- conceptual graphs
- default reasoning
- language processing
- specification language
- linguistic knowledge
- english language
- formal language
- facility location problem
- databases