Prolog infinite trees and automata.
Solange Coupet-GrimalPublished in: RAIRO Theor. Informatics Appl. (1991)
Keyphrases
- tree automata
- decision trees
- finite automata
- logic programming
- regular languages
- cellular automata
- expert systems
- finite state
- programming language
- tree structure
- regular expressions
- tree models
- logic programming language
- compact representations
- inference engine
- logic programs
- tree languages
- tree construction
- constraint logic programming
- knowledge representation
- lattice gas
- prolog programs
- real time
- finite state machines
- theorem proving
- pattern matching
- data model
- data structure
- reinforcement learning