CLARE - A Prolog Database Machine.
Kam-Fai WongM. Howard WilliamsPublished in: SIGSMALL/PC Symposium (1990)
Keyphrases
- database machine
- data flow
- database machines
- logic programming
- expert systems
- prolog programs
- database management systems
- abstract machine
- knowledge representation
- logic programming language
- semantically equivalent
- knowledge base
- backward chaining
- parallel algorithm
- functional programming
- constraint logic programming
- database
- computer simulation
- search algorithm
- artificial intelligence
- real time