Keyphrases
- programming language
- learning theory
- knowledge representation
- logic programming
- expert systems
- general purpose
- prolog programs
- batch processing
- object oriented
- case study
- multi agent systems
- databases
- optimal solution
- multiscale
- theorem proving
- inference engine
- computer programs
- knowledge base
- backward chaining
- artificial intelligence