Keyphrases
- logic programming
- knowledge base
- logic programming language
- expert systems
- formal semantics
- semantically equivalent
- database
- logical properties
- semantic properties
- inference engine
- desirable properties
- structural properties
- real time
- knowledge representation
- web services
- formal language
- metadata
- information systems
- learning algorithm