Unification for a Prolog Data Base Machine.
Gilles Berger-SabbatelW. DangJean-Christophe IaneselliGia Toan NguyenPublished in: ICLP (1984)
Keyphrases
- database
- theorem proving
- logic programming
- databases
- knowledge representation
- programming language
- batch processing
- data sets
- decision making
- metadata
- database systems
- expert systems
- automated theorem proving
- higher order
- data base management systems
- semantically equivalent
- special case
- evolutionary algorithm
- high level
- neural network