Keyphrases
- logic programming
- expert systems
- abstract machine
- prolog programs
- knowledge base
- programming paradigms
- constraint logic programming
- data model
- knowledge representation
- markup language
- programming language
- logic programming language
- neural network
- inference engine
- general purpose
- object oriented
- highly flexible
- feature selection
- semantically equivalent
- application specific
- information systems
- backward chaining
- image sequences
- data types
- multiresolution
- natural language