Keyphrases
- programming language
- logic programming language
- abstract machine
- constraint logic programming
- natural language
- specification language
- semantically equivalent
- knowledge base
- mathematical model
- prolog programs
- logic programming
- object oriented
- neural network
- databases
- numerical simulations
- simulation model
- english language
- expert systems
- metadata
- real world