A Prolog Database Machine.
Gilles Berger-SabbatelJean-Christophe IaneselliGia Toan NguyenPublished in: IWDM (1983)
Keyphrases
- database machine
- data flow
- database machines
- database management systems
- logic programming
- expert systems
- knowledge representation
- prolog programs
- programming language
- functional programming
- inference engine
- programming paradigms
- theorem proving
- knowledge base
- semantically equivalent
- constraint logic programming
- logic programming language
- neural network
- abstract machine
- management system
- mobile robot
- social networks
- data mining