Keyphrases
- programming language
- logic programming
- expert systems
- prolog programs
- functional programming
- knowledge representation
- programming paradigms
- general purpose
- logic programming language
- backward chaining
- theorem proving
- inference engine
- abstract machine
- databases
- semantically equivalent
- image sequences
- image processing
- knowledge base
- artificial intelligence
- real world