Intelligent Backtracking in And-Parallel Prolog.
Andrew Roy VerdenHugh GlaserPublished in: Declarative Programming (1991)
Keyphrases
- expert systems
- intelligent systems
- databases
- search algorithm
- logic programming
- knowledge representation
- shared memory
- parallel processing
- search space
- dependency directed backtracking
- computer architecture
- search tree
- control system
- constraint satisfaction
- database systems
- knowledge base
- decision making
- parallel computing
- artificial intelligence
- processing units
- depth first search
- machine learning