Die Behandlung graphischer Seiteneffekte beim Backtracking in Prolog.
Rainer HammwöhnerUlrich ThielPublished in: GI Jahrestagung (1) (1986)
Keyphrases
- search algorithm
- constraint satisfaction
- logic programming
- dependency directed backtracking
- prolog programs
- expert systems
- knowledge representation
- programming language
- search tree
- machine learning
- constraint logic programming
- variable ordering
- constraint propagation
- logic programming language
- abstract machine
- explanation based generalization
- programming paradigms
- evolutionary algorithm
- search space
- theorem proving
- inference engine
- tree search
- logic programs
- objective function
- computer vision
- backtracking search
- artificial intelligence
- neural network
- data sets