Keyphrases
- expert systems
- logic programming
- abstract machine
- knowledge representation
- database
- prolog programs
- constraint logic programming
- programming language
- computer vision
- data records
- general purpose
- theorem proving
- object oriented
- functional programming
- artificial neural networks
- information technology
- digital libraries
- databases
- data sets